Pokok sintaks abstrak dalam pengaturcaraan: panduan lengkap

Informatec Digital » Sumber » Pokok sintaks abstrak dalam pengaturcaraan: panduan lengkap

Pokok sintaks abstrak dalam pengaturcaraan adalah salah satu konsep yang pada mulanya kedengaran sangat teori, tetapi sebaik sahaja anda memahaminya, anda akan menyedari bahawa ia ada di mana-mana: pengkompil, penterjemah , analisis kod, alat pemfaktoran semula, malah dalam bahasa pertanyaan data berstruktur. Pada asasnya, ia adalah cara mesin "memahami" struktur program di luar teks biasa.

Walaupun kadangkala dikelirukan dengan pokok penghurai klasik, pokok sintaks abstrak (AST) mempunyai peraturannya sendiri. Pokok sintaks abstrak bukan sekadar lukisan yang cantik: ia merupakan struktur data yang padat dan direka bentuk dengan baik yang menghapuskan semua yang berlebihan daripada sintaks konkrit (kurungan, koma, kata kunci yang berlebihan, dsb.) dan memberi tumpuan kepada perkara penting: operasi apa yang dilakukan, pada nilai apa, dan dalam susunan apa.

Apakah sebenarnya pokok sintaks abstrak (AST)?

Dalam teori bahasa pengaturcaraan, pokok sintaks abstrak (AST) ialah struktur seperti pokok yang mewakili sintaks program, tetapi dalam bentuk yang dipermudahkan berbanding pokok parse konkrit. Ia mengandungi maklumat penting yang sama seperti pokok parse, tetapi disusun dengan cara yang lebih padat dan mudah diurus.

Pokok penghurai mengandungi semua penghasilan tatabahasa dan semua simbol terminal, termasuk kurungan, koma, titik koma dan elemen sintaksis tulen yang lain. Sebaliknya, AST mengalih keluar butiran yang tidak menyumbang makna semantik dan hanya mengekalkan struktur logik ungkapan dan ayat.

Dari segi pelaksanaan, AST biasanya terdiri daripada objek nod dengan jenis yang menunjukkan jenis binaan sintaksisnya (pemalar, pengecam, aplikasi fungsi, operator binari, dll.), dan sifat tambahan yang menggambarkan kandungannya: nilai, nama, anak, senarai argumen, dan sebagainya.

Keindahan AST ialah ia memudahkan fasa-fasa pengkompil atau penterjemah kemudian, seperti pemeriksaan jenis, pengoptimuman atau penjanaan kod , kerana ia menawarkan pandangan yang bersih tentang struktur program tanpa hingar sintaksis.

Perbezaan antara pokok sintaks konkrit dan pokok sintaks abstrak

Untuk memahami sepenuhnya apa yang disumbangkan oleh AST, adalah berguna untuk membandingkan pokok penghurai konkrit dengan pokok abstrak terlebih dahulu. Bayangkan tatabahasa mudah yang mengecam ungkapan aritmetik seperti "a + 4 * 5" . Pokok penghurai konkrit mencerminkan aplikasi setiap peraturan tatabahasa dengan tepat: simbol bukan terminal, terminal, kurungan, operator, dsb.

Pokok tertentu ini biasanya dalam dan mempunyai banyak nod perantaraan yang hanya berfungsi untuk mengekalkan struktur formal tatabahasa. Contohnya, mungkin terdapat nod untuk "Ungkapan," "Istilah," "Faktor," dan kemudian simbol terminal seperti "+" , "*" , pengecam dan nombor. Setiap penghasilan menjadi cabang pokok, meningkatkan kerumitan struktur.

Sebaliknya, pokok sintaks abstrak untuk ungkapan yang sama adalah terhad kepada mewakili operasi dan operan sebenar . Oleh itu, daripada beberapa peringkat "Ekspresi" dan "Istilah", kita boleh mempunyai nod akar yang mewakili penambahan, dengan dua anak: di sebelah kiri pengecam a dan di sebelah kanan nod pendaraban yang anaknya ialah nilai 4 dan 5. Nod tatabahasa tulen hilang dan bahagian struktur disusun semula atau dipendekkan.

Ini bermakna AST dan pokok sintaks konkrit mengandungi maklumat semantik yang sama , tetapi yang pertama mempersembahkannya dalam bentuk yang lebih langsung dan padat. Kondensasi ini adalah kunci untuk berfungsi dengan cekap dengan kod dalam alat analisis atau pelaksanaan.

Pokok dan abjad dengan fungsi arity

Untuk memformalkan pokok-pokok ini dari sudut pandangan matematik, idea abjad dengan fungsi arity biasanya digunakan . Daripada sekadar satu set simbol, abjad ditakrifkan di mana setiap simbol dikaitkan dengan nombor yang menunjukkan berapa banyak anak yang boleh dimilikinya dalam pokok tersebut.

Abjad dengan fungsi arity, secara tidak formal, ialah pasangan yang terdiri daripada set simbol terhingga dan fungsi yang memberikan setiap simbol nombor asli (termasuk sifar). Nombor ini menunjukkan arity simbol: jika ia 0, simbol bertindak sebagai daun; jika ia 1, ia bertindak sebagai nod unari; jika ia 2, ia binari; dan sebagainya. Adalah juga perkara biasa untuk membenarkan simbol arity berubah-ubah untuk operator sebagai senarai argumen.

Simbol arity 0 sepadan dengan daun pokok (contohnya, pemalar atau pengecam). Simbol arity 1 digunakan untuk konstruk yang melibatkan ungkapan anak tunggal. Simbol arity 2 mewakili operasi binari klasik seperti penambahan, pendaraban, tugasan, dsb. Dan simbol arity pembolehubah membenarkan pemodelan konstruk yang menerima bilangan subpokok yang tidak tentu, seperti panggilan fungsi dengan berbilang parameter.

Daripada abjad dengan arity ini, set semua pokok yang mungkin boleh ditakrifkan: bermula dengan pokok kosong (apabila dipertimbangkan), menambah semua simbol arity 0 dan pembolehubah, dan melanjutkan secara induktif: jika simbol ialah k-ary, ia boleh diletakkan sebagai nod induk bagi subpokok k yang telah dibina. Ini menghasilkan bahasa (atau istilah) pokok yang berkaitan dengan abjad.

Bahasa pokok dan tanggapan nod

Set semua pokok yang dibentuk dengan abjad dan fungsi aritinya dipanggil, dalam konteks ini, bahasa pokok atau bahasa istilah . Ia adalah setara, tetapi untuk struktur pokok, dengan apa yang dimaksudkan dengan penutupan Kleene untuk rentetan.

Sama seperti ketika menganalisis rentetan, kita menggunakan istilah token untuk merujuk kepada kejadian simbol abjad dalam jujukan, ketika bekerja dengan pokok, kita biasanya menggunakan istilah nod . Nod pada dasarnya adalah kejadian khusus simbol abjad dengan arity yang terletak pada kedudukan tertentu dalam pokok tersebut.

Dari perspektif ini, bahasa pokok ini kepada nod adalah sepertimana satu set rentetan kepada kejadian token. Setiap pokok ditafsirkan sebagai struktur yang dibina langkah demi langkah daripada abjad, dan nod adalah kepingan individu yang secara fizikalnya menjelmakan simbolnya.

Cara melihatnya sebegini sangat berguna apabila mereka bentuk penghurai dan penjana AST , kerana ia membolehkan penaakulan tentang peraturan pembinaan pokok ini dengan cara yang serupa dengan tatabahasa rentetan, tetapi berfungsi secara langsung pada struktur hierarki.

Kepelbagaian nod dalam AST tertentu: kes Telur

Beralih daripada teori kepada contoh praktikal, banyak bahan pengajaran menggunakan bahasa Egg untuk menggambarkan pembinaan dan manipulasi AST. Dalam konteks ini, beberapa jenis nod utama digunakan, setiap satunya dengan arity yang jelas , menjadikannya sangat mudah untuk dimanipulasi.

Dalam AST Telur yang biasa, nod VALUE dianggap sebagai daun: ia mewakili literal seperti rentetan atau nombor. Ia tidak mempunyai anak; ia hanya menyimpan nilai. Begitu juga, nod WORD , yang digunakan untuk pengecam (nama pembolehubah, nama fungsi, dll.), juga dianggap sebagai daun dengan sifat yang menyimpan nama tersebut.

Nod kunci dalam Egg ialah jenis APPLY , yang mewakili aplikasi fungsi atau operator. Jenis nod ini mempunyai dua anak konseptual: anak OPERATOR yang menunjukkan ungkapan yang sedang digunakan; dan anak ARGS , yang sebenarnya merupakan nod ARRAY khas yang bertanggungjawab untuk mengekalkan koleksi subpokok, satu untuk setiap argumen.

Oleh itu, tatasusunan adalah cara semula jadi untuk memperkenalkan arity pembolehubah ke dalam AST: APPLY sentiasa mempunyai dua komponen (operator dan senarai argumen), tetapi senarai dalaman itu boleh mengandungi sifar, satu atau banyak subpokok bergantung pada panggilan khusus yang diwakili.

Anatomi terperinci nod AST dalam Telur

Pada peringkat pelaksanaan, nod AST Egg biasanya diwakili sebagai objek dengan sifat , yang sesuai dengan bahasa seperti JavaScript. Semua nod berkongsi sifat yang sama: `type` , yang mengenal pasti jenis nod (VALUE, WORD, APPLY, ARRAY, dll.) dan, oleh itu, struktur yang akan dimiliki oleh objek yang lain.

Nod VALUE digunakan untuk pemalar literal . Ia mengandungi sifat, sering dipanggil value , di mana nombor atau rentetan yang diwakilinya disimpan. Ia tidak mempunyai anak tambahan kerana kandungannya diterangkan sepenuhnya oleh literal tersebut.

Nod perkataan dikhaskan untuk pengecam : nama pembolehubah, nama fungsi, nama parameter dan sebagainya. Ia biasanya mempunyai sifat `nama` yang menyimpan pengecam sebagai rentetan. Sama seperti nod VALUE, ia bertindak sebagai daun dalam pokok, kerana tujuan utamanya adalah untuk memberikan nama tersebut.

Nod Guna mewakili aplikasi atau panggilan. Ia merangkumi sifat operator , yang menunjukkan ungkapan (nod lain) yang sedang digunakan, dan sifat args , yang memautkan ke nod ARRAY. Nod ARRAY ialah nod khusus dalam AST, yang tujuannya adalah untuk menyimpan senarai argumen aplikasi .

Nod ARRAY boleh difahami sebagai bekas berstruktur untuk nod lain, yang mewakili jujukan subpokok. Dari perspektif arity, ia memperkenalkan fleksibiliti kerana ia membenarkan panggilan tanpa argumen, dengan satu argumen atau dengan berbilang argumen dalam pernyataan APPLY yang sama, tanpa perlu mengubah definisi jenis nod utama.

Contoh AST: aplikasi mudah dengan satu nilai

Untuk menggambarkan semua perkara di atas, mari kita fikirkan tentang perwakilan arahan mudah, seperti aplikasi fungsi X dengan argumen tunggal 5. AST yang dijana oleh parser sepadan dengan istilah yang dibina dengan nod VALUE, WORD dan APPLY , mengikut peraturan Egg.

Pada peringkat konseptual, kita akan mempunyai nod APPLY di akar. Sifat operatornya akan menunjuk ke nod WORD bernama X, dan sifat argsnya akan merujuk kepada nod ARRAY yang mengandungi elemen tunggal: nod VALUE dengan nilai angka 5. Dengan cara ini, struktur tersebut dengan jelas mencerminkan siapa yang sedang digunakan dan apa yang sedang digunakan.

Jika kita ingin menjadikan semua atribut eksplisit, kita boleh menulis notasi yang lebih terperinci yang menunjukkan jenis, operator, argumen, nama dan nilai. Notasi yang lebih terperinci ini sangat berguna untuk menyahpepijat parser atau untuk memahami bagaimana ungkapan teks diterjemahkan ke dalam objek pokok dalam penterjemah.

Dalam pelaksanaan dunia sebenar, pokok ini biasanya bersiri sebagai JSON untuk penyimpanan, penghantaran atau pemeriksaan yang mudah. ​​Malah, alatan dan modul, seperti pakej evm2term dalam ekosistem npm, menyediakan perwakilan padat AST ini untuk analisis atau transformasi yang lebih mudah.

Contoh AST: penambahan dan pendaraban bersarang

Satu lagi kes tipikal ialah ungkapan yang sedikit lebih kompleks, seperti "+(a, *(4, 5))" . Di sini kita mempunyai operasi penambahan yang argumen pertamanya ialah pengecam a dan argumen kedua ialah hasil pendaraban 4 dengan 5. AST yang terhasil daripada ungkapan ini mencerminkan struktur bersarang tersebut.

Di akar pokok, kita sekali lagi akan mempunyai nod APPLY yang mewakili operasi penambahan. Operatornya ialah nod WORD bernama "+", manakala argumennya akan berada dalam nod ARRAY dengan dua elemen: yang pertama, WORD bernama "a"; yang kedua, satu lagi nod APPLY yang mewakili pendaraban.

APPLY kedua itu akan mempunyai operator WORD bernama "*" dan argumennya ialah ARRAY dengan dua nod VALUE: satu dengan nilai 4 dan satu lagi dengan nilai 5. Secara keseluruhannya, struktur tersebut jelas menunjukkan bahawa susunan penilaian terdiri daripada mendarabkan 4 dengan 5 dan kemudian menambah hasilnya kepada a.

Jika kita mengembangkan notasi untuk memasukkan semua atribut, kita akan melihat jenis semua nod, nama atau nilai khusus mereka, dan hubungan antara mereka. Huraian eksplisit ini sepadan dengan pelaksanaan sebenar dalam penterjemah Egg, yang mana setiap nod ialah objek dengan sifat yang dinyatakan di atas.

Tatabahasa pokok dan tatabahasa penghurai

Cara AST ini dijana bukanlah sembarangan: ia berdasarkan apa yang dipanggil Tatabahasa Pokok . Dalam formulasi biasa, tatabahasa sedemikian ditakrifkan sebagai empat kali ganda yang terdiri daripada abjad dengan arity, set pembolehubah sintaksis (bukan terminal) yang terhingga, set peraturan pengeluaran yang terhingga dan simbol permulaan.

Dalam setiap peraturan pengeluaran, pembolehubah digantikan dengan pokok yang akarnya merupakan simbol abjad dengan arity, dan anak-anaknya pula merupakan pembolehubah atau pokok yang telah ditakrifkan. Struktur ini mengingatkan tatabahasa biasa klasik atau bebas konteks, tetapi disesuaikan dengan penjanaan langsung pokok dan bukannya rentetan simbol.

Berkaitan dengan definisi yang lebih formal itu ialah tatabahasa khusus yang digunakan oleh parser Egg untuk menghasilkan pepohonnya. Tatabahasa ini, yang biasanya dibentangkan secara tidak formal dalam dokumentasi, menerangkan dengan tepat kombinasi kata kunci, operator, kurungan dan sebagainya yang diterima dalam bahasa tersebut dan bagaimana ia diterjemahkan ke dalam nod jenis VALUE, WORD, APPLY dan ARRAY.

Tatabahasa pokok ini boleh dilihat sebagai kes khas bagi apa yang dikenali dalam literatur sebagai Tatabahasa Pokok Biasa . Ideanya adalah untuk mempunyai peraturan yang jelas untuk menukar jujukan token input kepada AST berstruktur yang kemudiannya boleh ditafsirkan atau dikompilasi.

Notasi Dewey: koordinat dalam pokok

Sebaik sahaja kita mempunyai AST, kita sering perlu merujuk kepada subpokok tertentu : contohnya, argumen kedua fungsi, operator ungkapan, dsb. Cara yang sangat elegan untuk melakukan ini ialah apa yang dipanggil notasi Perpuluhan Dewey, yang meminjam skema yang digunakan untuk menomborkan bahagian dan subseksyen dalam dokumen.

Dalam notasi ini, bermula dari pokok t, subpokok dilambangkan dengan rentetan nombor yang dipisahkan oleh noktah . Setiap nombor menunjukkan kedudukan anak (biasanya bermula pada 1) dan jujukan menuruni pokok. Oleh itu, ungkapan seperti t/2.1.3 merujuk kepada anak ketiga anak pertama anak kedua t.

Takrif induktif bagi notasi ini adalah mudah: rentetan kosong merujuk kepada keseluruhan pokok itu sendiri; jika rentetan terdiri daripada nombor diikuti oleh lebih banyak nombor yang dipisahkan oleh noktah, ia ditafsirkan dengan mengambil subpokok anak yang sepadan dengan indeks yang ditunjukkan terlebih dahulu dan kemudian menggunakan logik yang sama secara rekursif kepada seluruh rentetan.

Contohnya, jika kita mempunyai pokok t yang mewakili ungkapan seperti "+(a, *(4,5))", dengan nod akar APPLY untuk penambahan, anak WORD bernama "+", dan anak APPLY lain untuk pendaraban, kita boleh mengenal pasti kedudukan tertentu. Oleh itu, t/1 boleh menjadi nod WORD dengan operator "+", t/2.1 pengecam "a", dan t/2.2.2.1 nod VALUE dengan nilai 4, jika kita menomborkan anak-anak dengan sewajarnya.

Cara memberikan "koordinat" dalam AST ini sangat berguna untuk menunjukkan lokasi tertentu semasa melaporkan ralat, menavigasi pokok atau menggunakan transformasi setempat pada nod tertentu tanpa kekaburan.

Notasi setara dalam pengaturcaraan dan alatan

Idea di sebalik notasi Dewey bukan eksklusif untuk teori pokok; malah, ia muncul berulang kali dalam banyak notasi praktikal yang kita gunakan setiap hari dalam pengaturcaraan dan pengendalian data berstruktur, walaupun kita tidak selalu menyedarinya.

Apabila kita menulis ungkapan dengan operator titik dalam bahasa pengaturcaraan , seperti object.property.subproperty, kita melakukan sesuatu yang sangat serupa: merentasi pokok objek bersarang, memilih anak pada setiap langkah mengikut nama dan bukannya mengikut nombor kedudukan. Bermula dari nod akar, kita turun ke nod yang lebih dalaman.

Corak yang sama muncul dalam sistem fail seperti Unix, di mana operator garis miring ke hadapan (/) digunakan untuk memisahkan direktori: /src/js/tutu.js menerangkan laluan dari akar sistem fail ke sumber tertentu, merentasi peringkat struktur pokok yang berturut-turut.

Dalam dunia dokumen berstruktur, bahasa seperti XPath menggunakan notasi yang sangat serupa untuk memilih nod dalam pokok XML. Pertanyaan seperti "A//B/*" memilih anak pertama (apa sahaja namanya) bagi setiap elemen B yang merupakan keturunan elemen A dalam kedudukan yang sesuai berbanding konteks semasa, menggunakan garis miring tunggal dan berganda untuk menunjukkan tahap kedalaman.

Satu lagi alat yang terkenal, bahasa jq , menggunakan sistem selari untuk menavigasi struktur JSON, yang membolehkan pemilihan sub-objek melalui laluan komposit, penapis dan ungkapan. Semua notasi ini hanyalah cara yang berbeza untuk menyatakan laluan dalam pokok , sangat selaras dengan notasi Perpuluhan Dewey tetapi disesuaikan dengan domain masing-masing.

Menghuraikan pokok dalam linguistik dan pengaturcaraan

Di luar dunia penyusun, pokok sintaksis juga digunakan dalam linguistik untuk mewakili struktur ayat. Di sana, ia dipanggil pokok terbitan atau pokok penghuraian, yang menunjukkan bagaimana sesuatu ayat dipecahkan kepada frasa, perkataan dan kategori tatabahasa.

Dalam pokok-pokok ini, sama seperti dalam pengaturcaraan, kita dapati tiga jenis asas nod: nod akar , yang mewakili ayat lengkap atau struktur global; nod dalaman atau cabang, yang berfungsi sebagai nod induk dan subset kumpulan ayat; dan nod daun, yang biasanya sepadan dengan perkataan tertentu yang muncul dalam rentetan input.

Nod akar adalah unik: keseluruhan struktur pokok tergantung padanya. Nod cabang terletak betul-betul di bawah nod akar atau nod induk yang lain, dan berfungsi untuk mengatur bahagian ayat atau program secara hierarki. Nod daun, sebaliknya, terdapat di aras terendah pokok dan tidak mempunyai anak, sekali gus menutup struktur cabang.

Pokok-pokok ini dianggap sebagai alat pedagogi yang berkuasa kerana ia membantu memecahkan ayat yang kompleks kepada elemen yang boleh diurus. Perkara yang sama berlaku untuk pengaturcaraan: AST yang dibina dengan baik membolehkan anda melihat sepintas lalu operasi mana yang dirangkaikan bersama, ungkapan mana yang bersarang, dan bagaimana penilaian mengalir.

Bergantung pada objektif analisis, kita boleh menemui pelbagai jenis pokok analisis . Ada yang menekankan kebergantungan antara perkataan atau komponen (contohnya, siapa yang bergantung pada siapa dalam ayat), manakala yang lain menumpukan pada pengelompokan kepada frasa atau konstituen, menghasilkan dua keluarga utama.

Pokok sintaks mengikut kebergantungan dan mengikut kawasan pilihan raya

Salah satu jenis yang paling terkenal ialah pokok sintaks berasaskan kebergantungan . Dalam varian ini, semua perkataan dalam ayat atau semua elemen yang berkaitan dianggap sebagai nod daun, dan hubungan antara mereka menunjukkan hubungan kebergantungan langsung (contohnya, kata kerja utama dan subjeknya). Akibatnya, pokok dengan nod yang lebih sedikit sering dihasilkan berbanding skema lain.

Kesederhanaan ini menjadikannya sangat mudah untuk pemula dan untuk tugas pemprosesan bahasa tertentu, kerana strukturnya memberi tumpuan kepada siapa yang bergantung kepada siapa tanpa memperkenalkan begitu banyak nod perantaraan. Digunakan untuk pengaturcaraan, ideanya adalah untuk hanya berpegang pada hubungan penting, tanpa menghiraukan hiasan tatabahasa.

Pada tahap yang lain, kita mempunyai pokok sintaks berdasarkan konstituen atau konstituen, yang membezakan antara nod akar, nod cabang dalaman dan nod daun, dan menjadikan semua kumpulan yang berkaitan kelihatan. Pokok ini biasanya mengandungi lebih banyak nod dan mencerminkan struktur hierarki ayat atau program dengan lebih terperinci.

Templat pokok konstituensi yang biasa dilihat memaparkan ayat panjang dengan banyak nod daun, beberapa peringkat percabangan dan nod akar yang jelas. Ia amat berguna untuk membedah ayat kompleks atau program dengan berbilang lapisan struktur bersarang.

Dalam kedua-dua pokok kebergantungan dan konstituensi, contoh dan sumber visual tersedia sebagai templat, yang membolehkan anda mengisi nod dengan maklumat yang dikehendaki. Ini menjimatkan masa dan mengelakkan daripada mereka bentuk gambar rajah dari awal setiap kali anda ingin menggambarkan struktur.

Aplikasi dan alat praktikal yang berkaitan dengan AST

AST bukan sekadar konsep teori: ia digunakan secara aktif dalam pelbagai alat harian oleh sesiapa sahaja yang bekerja dengan kod. Pengkompil, penterjemah, pemingkat, pemformat kod dan penganalisis statik hampir selalu bergantung pada AST untuk melaksanakan fungsi mereka.

Pengkompil biasa mengambil kod sumber, memberikan token, menghuraikan dan menjana pokok sintaks abstrak. Dari situ, ia melakukan pemeriksaan semantik (jenis, skop pembolehubah, penggunaan binaan yang salah) dan menggunakan pengoptimuman kod dengan melintasi dan mengubah AST sebelum menghasilkan kod mesin, atau bytecode.

Alat seperti linter atau formatter juga berfungsi pada AST: ia menganalisis struktur untuk mengesan corak yang bermasalah, amalan buruk atau ketidakkonsistenan dan mencadangkan perubahan yang mengekalkan struktur semantik pokok tetapi melaraskan persembahan kod.

Dalam ekosistem JavaScript, sebagai contoh, terdapat pelbagai pustaka yang mendedahkan AST dalam format JSON, menjadikannya lebih mudah untuk alat lain bergantung padanya bagi melakukan pemfaktoran semula, menjana dokumentasi automatik atau mencipta visualisasi struktur program yang kompleks.

Walaupun dalam bidang yang agak khusus, seperti instrumentasi untuk mengukur liputan ujian atau transformasi kod sumber kepada bahasa lain, AST merupakan asas bagi banyak penyelesaian moden, kerana ia membolehkan kerja pada tahap abstraksi yang sangat selesa antara teks mentah dan kod mesin.

Secara keseluruhannya, pokok sintaks abstrak merupakan bahagian penting yang menghubungkan tatabahasa formal bahasa, perwakilan dalamannya dalam pengkompil atau penterjemah, dan alatan canggih yang kita gunakan untuk menulis, menganalisis dan mengubah kod dengan selamat dan cekap. Memahami cara ia dibina, cara menavigasinya (dengan konsep seperti notasi Perpuluhan Dewey), dan jenis nod yang terlibat (VALUE, WORD, APPLY, struktur ariti tetap atau berubah-ubah, dsb.) membantu kita melihat dengan lebih jelas apa yang sebenarnya dilakukan oleh mesin semasa ia memproses program.