Abstraktūs sintaksės medžiai programavime: išsamus vadovas

Informatec Digital » Ištekliai » Abstraktūs sintaksės medžiai programavime: išsamus vadovas

Abstraktūs sintaksės medžiai programavime yra viena iš tų sąvokų, kurios iš pradžių skamba labai teoriškai, bet kai tik jas perpranti, supranti, kad jos yra visur: kompiliatoriuose, interpretatoriuose , kodo analizėje, pertvarkymo įrankiuose ir net struktūrizuotų duomenų užklausų kalbose. Iš esmės tai yra būdas, kuriuo mašina „supranta“ programos struktūrą, neapsiribojant paprastu tekstu.

Nors kartais painiojami su klasikiniais analizės medžiais, abstrakčios sintaksės medžiai (AST) turi savo taisykles. Abstraktus sintaksės medis yra ne tik gražus brėžinys: tai kompaktiška ir gerai suprojektuota duomenų struktūra, kuri pašalina viską, kas nereikalinga iš konkrečios sintaksės (skliaustelius, kablelius, pasikartojančius raktinius žodžius ir kt.) ir sutelkia dėmesį į esminius dalykus: kokios operacijos atliekamos, su kokiomis reikšmėmis ir kokia tvarka.

Kas tiksliai yra abstraktus sintaksės medis (AST)?

Programavimo kalbų teorijoje abstraktus sintaksės medis (AST) yra medžio tipo struktūra, vaizduojanti programos sintaksę , tačiau supaprastinta forma, palyginti su konkrečiu analizės medžiu. Jame yra ta pati esminė informacija kaip ir analizės medyje, tačiau ji yra išdėstyta kompaktiškiau ir lengviau valdomu būdu.

Analizės medis apima visus gramatikos darinius ir visus galinius simbolius, įskaitant skliaustus, kablelius, kabliataškius ir kitus grynai sintaksės elementus. Kita vertus, AST pašalina šias detales, kurios neprisideda prie semantinės reikšmės, ir išsaugo tik loginę išraiškų ir sakinių struktūrą.

Kalbant apie įgyvendinimą, AST paprastai sudaro mazgo objektai, kurių tipas nurodo, kokios rūšies sintaksinė konstrukcija tai yra (konstanta, identifikatorius, funkcijos taikymas, dvejetainis operatorius ir kt.), ir papildomos savybės, apibūdinančios jo turinį: reikšmė, pavadinimas, vaikai, argumentų sąrašas ir kt.

AST grožis yra tas, kad jis palengvina vėlesnius kompiliatoriaus ar interpretatoriaus etapus, tokius kaip tipo tikrinimas, optimizavimas ar kodo generavimas , nes suteikia aiškų programos struktūros vaizdą be sintaksės triukšmo.

Skirtumas tarp konkretaus sintaksės medžio ir abstraktaus sintaksės medžio

Norint iki galo suprasti, ką AST prisideda, pirmiausia naudinga palyginti konkretų analizės medį su abstrakčiu. Įsivaizduokite paprastą gramatiką, kuri atpažįsta aritmetines išraiškas, tokias kaip „a + 4 * 5“ . Konkretus analizės medis tiksliai atspindi kiekvienos gramatikos taisyklės taikymą: negalutiniai simboliai, galūnės, skliaustai, operatoriai ir kt.

Šis konkretus medis paprastai yra gilus ir turi daug tarpinių mazgų, kurie skirti tik formaliai gramatikos struktūrai palaikyti. Pavyzdžiui, gali būti mazgai „Išraiškai“, „Termui“, „Veiksniui“, o tada terminaliniai simboliai, tokie kaip „+“ , „*“ , identifikatoriai ir skaičiai. Kiekvienas produktyvumas tampa medžio šaka, padidindamas struktūrinį sudėtingumą.

Kita vertus, abstraktus tos pačios išraiškos sintaksės medis apsiriboja faktinių operacijų ir operandų vaizdavimu . Taigi, vietoj kelių „Išraiškos“ ir „Termo“ lygių, galėtume turėti šakninį mazgą, vaizduojantį sudėti, su dviem vaikais: kairėje identifikatoriumi a ir dešinėje daugybos mazgu, kurio vaikai yra reikšmės 4 ir 5. Grynai gramatiniai mazgai išnyksta, o struktūros dalys pertvarkomos arba suspaudžiamos.

Tai reiškia, kad AST ir konkretus sintaksės medis turi tą pačią semantinę informaciją , tačiau pirmasis pateikia ją daug tiesesne ir glaustesne forma. Toks suspaudimas yra labai svarbus norint efektyviai dirbti su kodu analizės ar vykdymo įrankiuose.

Medžiai ir abėcėlės su arity funkcija

Šių medžių formalizavimui matematiniu požiūriu dažniausiai naudojama abėcėlės su ariteto funkcija idėja . Vietoj paprasto simbolių rinkinio apibrėžiama abėcėlė, kurioje kiekvienas simbolis yra susietas su skaičiumi, nurodančiu, kiek vaikų jis gali turėti medyje.

Abėcėlė su ariteto funkcija neoficialiai yra pora, sudaryta iš baigtinio simbolių rinkinio ir funkcijos, kuri kiekvienam simboliui priskiria natūraliąjį skaičių (įskaitant nulį). Šis skaičius nurodo simbolio aritetą: jei jis lygus 0, simbolis elgiasi kaip lapas; jei jis lygus 1, jis elgiasi kaip unarinis mazgas; jei jis lygus 2, jis yra dvejetainis ir taip toliau. Taip pat įprasta leisti operatoriams naudoti kintamojo ariteto simbolius kaip argumentų sąrašus.

0 aritmetinio skaičiaus simboliai atitinka medžio lapus (pavyzdžiui, konstantas arba identifikatorius). 1 aritmetinio skaičiaus simboliai naudojami konstrukcijoms, kuriose yra vienas antrinis reiškinys. 2 aritmetinio skaičiaus simboliai žymi klasikines dvejetaines operacijas, tokias kaip sudėtis, daugyba, priskyrimas ir kt. O kintamojo aritmetinio skaičiaus simboliai leidžia modeliuoti konstrukcijas, kurios priima neapibrėžtą pomedžių skaičių, pavyzdžiui, funkcijos iškvietimą su keliais parametrais.

Iš šios abėcėlės su arite galima apibrėžti visų galimų medžių aibę: pradedant nuo tuščio medžio (kai jis nagrinėjamas), pridedant visus 0 ariteto ir kintamojo simbolius ir plečiant indukciniu būdu: jei simbolis yra k-arinis, jį galima patalpinti kaip k jau sukonstruotų pomedžių tėvinį mazgą. Taip gaunama su abėcėle susieta medžio kalba (arba terminas).

Medžių kalba ir mazgo sąvoka

Visų medžių, sudarytų iš abėcėlės ir jos ariteto funkcijos, aibė šiame kontekste vadinama medžių kalba arba termų kalba . Tai yra Kleeno uždarymo eilutėms atitikmuo, tik medžių struktūrų atžvilgiu.

Lygiai taip pat, kaip analizuodami eilutes, vartojame terminą „žetonai“ , norėdami nurodyti abėcėlės simbolių atsiradimą sekoje, dirbdami su medžiais paprastai vartojame terminą „mazgai“ . Mazgas iš esmės yra konkretus abėcėlės simbolio, kurio aritetas yra tam tikroje medžio pozicijoje, atsiradimas.

Šiuo požiūriu, ši medžių kalba mazgams yra tas pats, kas eilučių rinkinys žetonų pasikartojimams. Kiekvienas medis interpretuojamas kaip struktūra, žingsnis po žingsnio kuriama iš abėcėlės, o mazgai yra atskiros dalys, kurios fiziškai materializuoja jos simbolius.

Toks požiūris yra labai naudingas kuriant analizatorius ir AST generatorius , nes jis leidžia samprotauti apie šių medžių konstrukcijos taisykles analogiškai kaip ir eilutės gramatika, bet tiesiogiai dirbant su hierarchinėmis struktūromis.

Mazgų aritetas konkrečiame AST: Egg atvejis

Pereinant nuo teorijos prie praktinio pavyzdžio, daugelyje mokymo medžiagų AST konstravimui ir manipuliavimui naudojama Egg kalba. Šiame kontekste naudojami keli pagrindiniai mazgų tipai, kurių kiekvienas turi aiškiai apibrėžtą aritetą , todėl juos labai lengva manipuliuoti.

Tipiniame „Egg AST“ funkcijoje VALUE mazgai laikomi lapais: jie žymi literalus, tokius kaip eilutės arba skaičiai. Jie neturi vaikų; juose saugoma tik reikšmė. Panašiai WORD mazgai , kurie naudojami identifikatoriams (kintamųjų pavadinimams, funkcijų pavadinimams ir kt.), taip pat traktuojami kaip lapai su savybe, kurioje saugomas pavadinimas.

Pagrindinis mazgas „Egg“ kalboje yra APPLY tipo mazgas, kuris žymi funkcijos arba operatoriaus taikymą. Šis mazgo tipas turi du konceptualius antrinius mazgus: OPERATOR tipo mazgą , kuris nurodo į taikomą išraišką; ir ARGS tipo mazgą , kuris iš tikrųjų yra specialus ARRAY mazgas, atsakingas už pomedžių kolekcijos palaikymą, po vieną kiekvienam argumentui.

Todėl masyvai yra natūralus būdas įvesti kintamųjų arity į AST: APPLY visada turi du komponentus (operatorių ir argumentų sąrašą), tačiau tame vidiniame sąraše gali būti nulis, vienas arba daug pomedžių, priklausomai nuo konkretaus iškvietimo.

Detali AST mazgų anatomija kiaušinyje

Įgyvendinimo lygmenyje „Egg“ AST mazgai paprastai vaizduojami kaip objektai su savybėmis , kurios puikiai dera su tokiomis kalbomis kaip „JavaScript“. Visi mazgai turi bendrą savybę: `type` , kuri nurodo mazgo tipą (VALUE, WORD, APPLY, ARRAY ir kt.) ir atitinkamai struktūrą, kurią turės likusi objekto dalis.

VALUE mazgai naudojami literalinėms konstantoms . Jie turi savybę, dažnai vadinamą value , kurioje saugomas skaičius arba eilutė, kurią jie vaizduoja. Jie neturi papildomų antrinių elementų, nes jų turinį visiškai aprašo tas literalas.

Žodžių mazgai rezervuoti identifikatoriams : kintamųjų, funkcijų, parametrų pavadinimams ir panašiai. Paprastai jie turi savybę „name“ , kurioje identifikatorius saugomas kaip eilutė. Panašiai kaip VALUE mazgai, jie veikia kaip lapai medyje, nes jų vienintelė paskirtis yra pateikti tą pavadinimą.

Taikymo mazgai (angl. Apply nods) žymi programas arba iškvietimus. Jie apima operatoriaus savybę , kuri nurodo į taikomą išraišką (kitą mazgą), ir args savybę , kuri susieja su ARRAY mazgu. Pastarasis yra konkretus AST mazgas, kurio paskirtis – laikyti programos argumentų sąrašą .

ARRAY mazgas gali būti suprantamas kaip struktūrizuotas konteineris kitiems mazgams, vaizduojantis pomedžių seką. Iš arumo perspektyvos jis suteikia lankstumo, nes leidžia iškviesti be argumentų, su vienu argumentu arba su keliais argumentais tame pačiame APPLY sakinyje, nekeičiant pagrindinio mazgo tipo apibrėžimo.

AST pavyzdys: paprasta programa su viena reikšme

Norėdami visa tai vizualizuoti, pagalvokime apie paprastos instrukcijos, pvz., funkcijos X taikymo su vienu argumentu 5, vaizdavimą. Analizatoriaus sugeneruotas AST atitinka terminą, sukonstruotą iš VALUE, WORD ir APPLY mazgų , laikantis Egg'o taisyklių.

Konceptualiu lygmeniu šaknyje turėtume APPLY mazgą . Jo operatoriaus savybė nukreiptų į WORD mazgą, pavadintą X, o jos args savybė – į ARRAY mazgą, kuriame yra vienas elementas: VALUE mazgas su skaitine reikšme 5. Tokiu būdu struktūra aiškiai atspindi, kam taikoma ir kam taikoma.

Jei norėtume, kad visi atributai būtų aiškūs, galėtume parašyti išsamesnę notaciją, kurioje būtų rodomas tipas, operatorius, argumentai, pavadinimas ir reikšmė. Ši išsamesnė notacija yra labai naudinga derinant analizatorių arba norint suprasti, kaip tekstinė išraiška interpretatoriuje verčiama į medžio objektą.

Realiame pasaulyje šis medis paprastai serializuojamas kaip JSON , kad būtų lengviau jį saugoti, perduoti ar tikrinti. Iš tiesų, įrankiai ir moduliai, tokie kaip „evm2term“ paketas „npm“ ekosistemoje, teikia kompaktiškus šių AST atvaizdavimus, kad būtų lengviau analizuoti ar transformuoti.

AST pavyzdys: įdėtinė sudėtis ir daugyba

Kitas tipiškas atvejis yra šiek tiek sudėtingesnė išraiška, pvz. , „+(a, *(4, 5))“ . Čia turime sudėties operaciją, kurios pirmasis argumentas yra identifikatorius a, o antrasis argumentas yra 4 padauginimo iš 5 rezultatas. Šios išraiškos rezultatas AST atspindi tą įdėtąją struktūrą.

Medžio šaknyje vėl turėtume APPLY mazgą, kuris atvaizduotų sudėties operaciją. Jo operatorius būtų WORD mazgas, pavadintas „+“, o argumentai būtų ARRAY mazge su dviem elementais: pirmasis – WORD mazgas, pavadintas „a“; antrasis – kitas APPLY mazgas, atvaizduojantis daugybą.

Antroji APPLY funkcija turėtų operatorių WORD pavadinimu „*“, o argumentus – ARRAY su dviem VALUE mazgais: vieno reikšmė yra 4, o kito – 5. Žvelgiant į visumą, struktūra aiškiai rodo, kad įvertinimo tvarka susideda iš 4 padauginimo iš 5 ir rezultato pridėjimo prie a.

Jei išplėstume žymėjimą, kad būtų įtraukti visi atributai, matytume visų mazgų tipus, jų pavadinimus arba konkrečias reikšmes ir ryšius tarp jų. Šis aiškus aprašymas atitinka faktinį įgyvendinimą „Egg“ interpretatoriuje, kur kiekvienas mazgas yra objektas su minėtomis savybėmis.

Medžių gramatika ir analizatoriaus gramatika

Šių AST generavimo būdas nėra atsitiktinis: jis pagrįstas tuo, kas vadinama medžio gramatika . Įprastai tokia gramatika apibrėžiama kaip ketvertas, sudarytas iš abėcėlės su arite, baigtinio sintaksinių (negalutinių) kintamųjų rinkinio, baigtinio gamybos taisyklių rinkinio ir pradinio simbolio.

Kiekvienoje gamybos taisyklėje kintamasis pakeičiamas medžiu, kurio šaknis yra abėcėlės simbolis su arite, o kurio vaikai savo ruožtu yra kintamieji arba jau apibrėžti medžiai. Ši struktūra primena klasikines reguliarias arba konteksto neturinčias gramatikas, bet pritaikyta tiesioginiam medžių, o ne simbolių eilučių, generavimui.

Su šiuo formalesniu apibrėžimu susijusi specifinė gramatika, kurią „Egg“ analizatorius naudoja savo medžiams kurti. Ši gramatika, kuri dokumentacijoje paprastai pateikiama neoficialiai, tiksliai aprašo, kokie raktinių žodžių, operatorių, skliaustų ir pan. deriniai yra priimami kalboje ir kaip jie verčiami į VALUE, WORD, APPLY ir ARRAY tipo mazgus.

Ši medžio gramatika gali būti laikoma specialiu literatūroje vadinamos įprastos medžio gramatikos atveju . Idėja yra turėti aiškiai apibrėžtas taisykles, skirtas įvesties žetonų sekai konvertuoti į struktūrizuotą AST, kurį vėliau būtų galima interpretuoti arba kompiliuoti.

Dewey notacija: koordinatės medyje

Gavę AST, dažnai turime remtis konkrečiais poskyriais : pavyzdžiui, antruoju funkcijos argumentu, išraiškos operatoriumi ir pan. Labai elegantiškas būdas tai padaryti yra vadinamasis Dewey dešimtainis notavimas, kuris pasiskolina schemą, naudojamą dokumentų skyriams ir poskyriams numeruoti.

Šiame žymėjime, pradedant nuo medžio t, dalinis medis žymimas taškų atskirtų skaičių eilute . Kiekvienas skaičius nurodo vaiko poziciją (paprastai pradedant nuo 1), ir seka eina medžiu žemyn. Taigi, tokia išraiška kaip t/2.1.3 nurodo trečiąjį antrojo medžio t vaiko pirmojo vaiko vaiką.

Indukcinis šio žymėjimo apibrėžimas yra paprastas: tuščia eilutė reiškia visą medį; jei eilutę sudaro skaičius, po kurio seka daugiau taškų turinčių skaičių, ji interpretuojama pirmiausia imant nurodytą indeksą atitinkantį antrinį podmedį, o tada rekursyviai taikant tą pačią logiką likusiai eilutės daliai.

Pavyzdžiui, jei turime medį t, kuris vaizduoja išraišką, tokią kaip „+(a, *(4,5))“, su šakniniu mazgu APPLY sudėties operacijai, antriniu mazgu WORD, pavadinimu „+“, ir kitu antriniu mazgu APPLY daugybai, galime nustatyti konkrečias pozicijas. Taigi, t/1 galėtų būti WORD mazgas su operatoriumi „+“, t/2.1 – identifikatorius „a“, o t/2.2.2.1 – VALUE mazgas su reikšme 4, jei antrinius mazgus sunumeruosime tinkamai.

Šis „koordinačių“ pateikimo AST būdas yra labai naudingas norint nurodyti konkrečias vietas pranešant apie klaidas, naršant medyje arba taikant vietines transformacijas konkretiems mazgams be dviprasmybių.

Ekvivalentiški žymėjimai programavime ir įrankiuose

Dewey notacijos idėja nėra būdinga tik medžių teorijai; iš tikrųjų ji nuolat pasirodo daugelyje praktinių notacijų , kurias kasdien naudojame programavime ir struktūrizuotame duomenų tvarkyme, net jei ne visada apie tai žinome.

Kai programavimo kalboje rašome išraiškas su taško operatoriumi , pvz., object.property.subproperty, darome kažką labai panašaus: pereiname įdėtų objektų medį, kiekviename žingsnyje pasirinkdami antrinį objektą pagal pavadinimą, o ne pagal pozicijos numerį. Pradėdami nuo šakninio mazgo, leidžiamės žemyn prie daugiau vidinių mazgų.

Tas pats modelis pasireiškia ir „Unix“ tipo failų sistemose, kur įstrižainės operatorius (/) naudojamas katalogams atskirti: /src/js/tutu.js apibūdina kelią nuo failų sistemos šakninio katalogo iki konkretaus ištekliaus, kertant iš eilės einančius medžio struktūros lygius.

Struktūrizuotų dokumentų pasaulyje tokios kalbos kaip „XPath“ naudoja labai panašius žymėjimus XML medžio mazgams pasirinkti. Užklausa, pvz., „A//B/*“, pasirenka pirmąjį kiekvieno elemento B, kuris yra elemento A palikuonis, vaiką (kad ir koks būtų jo pavadinimas) atitinkamoje pozicijoje dabartinio konteksto atžvilgiu, naudodama viengubus ir dvigubus brūkšnius, nurodančius gylio lygius.

Kita gerai žinoma priemonė, jq kalba , naudoja lygiagrečią sistemą JSON struktūroms naršyti, leisdama pasirinkti subobjektus naudojant sudėtinius kelius, filtrus ir išraiškas. Visos šios notacijos yra tiesiog skirtingi būdai išreikšti kelius medyje , labai atitinkantys Dewey dešimtainę notaciją, bet pritaikyti atitinkamoms sritims.

Analizės medžiai lingvistikoje ir programavime

Be kompiliatorių pasaulio, sintaksės medžiai taip pat naudojami lingvistikoje sakinių struktūrai pavaizduoti. Ten jie vadinami išvedimo medžiais arba analizės medžiais, kurie parodo, kaip sakinys yra suskirstytas į frazes, žodžius ir gramatines kategorijas.

Šiuose medžiuose, kaip ir programavime, randame tris pagrindinius mazgų tipus: šakninį mazgą , kuris žymi visą sakinį arba globalią struktūrą; vidinius arba išsišakojančius mazgus, kurie veikia kaip pirminiai mazgai ir grupuoja sakinio poaibius; ir lapinius mazgus, kurie paprastai atitinka konkrečius žodžius, esančius įvesties eilutėje.

Šakninis mazgas yra unikalus: visa medžio struktūra kyla iš jo. Šakiniai mazgai yra tiesiai po šaknies ar kitais tėvais ir padeda hierarchiškai organizuoti sakinio ar programos dalis. Kita vertus, lapiniai mazgai yra žemiausiame medžio lygyje ir neturi vaikų, todėl užbaigia šakojančią struktūrą.

Šie medžiai laikomi galingais pedagoginiais įrankiais, nes padeda suskaidyti sudėtingus sakinius į lengvai valdomus elementus. Tas pats pasakytina ir apie programavimą: gerai sukonstruotas AST leidžia iš pirmo žvilgsnio pamatyti, kurios operacijos yra sujungtos grandinėje, kurios išraiškos yra įdėtos ir kaip vyksta vertinimas.

Priklausomai nuo analizės tikslo, galime rasti įvairių tipų analizės medžių . Vieni pabrėžia priklausomybes tarp žodžių ar komponentų (pavyzdžiui, kas sakinyje priklauso nuo ko), o kiti sutelkia dėmesį į grupavimą į frazes ar sudedamąsias dalis, taip sudarydami dvi pagrindines šeimas.

Sintaksės medžiai pagal priklausomybę ir rinkėjų grupes

Vienas iš geriausiai žinomų tipų yra priklausomybėmis pagrįstas sintaksės medis . Šiame variante visi sakinio žodžiai arba visi susiję elementai traktuojami kaip lapo mazgai, o jų tarpusavio sąsajos nurodo tiesioginius priklausomybės ryšius (pavyzdžiui, pagrindinis veiksmažodis ir jo subjektas). Dėl to dažnai sukuriami medžiai su mažiau mazgų nei kitose schemose.

Dėl šio paprastumo jie ypač patogūs pradedantiesiems ir atliekant tam tikras kalbos apdorojimo užduotis, nes struktūra sutelkia dėmesį į tai, kas nuo ko priklauso, neįvedant tiek daug tarpinių mazgų. Taikant programavime, idėja yra apsiriboti tik esminiais ryšiais, praleidžiant gramatinius pagražinimus.

Kitame kraštutinume turime sintaksės medžius, pagrįstus sudedamosiomis dalimis arba sudedamosiomis dalimis, kurie skiria šakninius mazgus, vidinius šakojančius mazgus ir lapinius mazgus ir daro matomas visas atitinkamas grupes. Šie medžiai paprastai turi daugiau mazgų ir išsamiau atspindi sakinio ar programos hierarchinę struktūrą.

Dažnai matomuose rinkėjų medžio šablonuose rodomi ilgi sakiniai su daugybe lapų mazgų, keliais šakojimo lygiais ir aiškiai apibrėžtu šakniniu mazgu. Jie ypač naudingi analizuojant sudėtingus sakinius arba programas su keliais įdėtųjų struktūrų sluoksniais.

Tiek priklausomybių, tiek rinkinių medžiuose pavyzdžiai ir vaizdiniai ištekliai pateikiami kaip šablonai, leidžiantys tiesiog užpildyti mazgus norima informacija. Tai taupo laiką ir leidžia išvengti poreikio kiekvieną kartą, kai norite iliustruoti struktūrą, kurti diagramą nuo nulio.

Praktinis pritaikymas ir įrankiai, susiję su AST

AST nėra tik teorinė koncepcija: juos aktyviai naudoja daugybė kasdienių įrankių visi, dirbantys su kodu. Kompiliatoriai, interpretatoriai, miniatiūrizatoriai, kodo formatavimo įrankiai ir statiniai analizatoriai beveik visada pasikliauja AST savo funkcijoms atlikti.

Įprastas kompiliatorius paima šaltinio kodą, jį tokenizuoja, analizuoja ir sugeneruoja abstraktų sintaksės medį. Tada jis atlieka semantinius patikrinimus (tipus, kintamųjų apimtį, neteisingą konstrukcijų naudojimą) ir taiko kodo optimizavimą , peržiūrėdamas ir transformuodamas AST prieš sukurdamas mašininį kodą arba baitinį kodą.

Tokios priemonės kaip linteriai ar formatuotojai taip pat veikia su AST: jos analizuoja struktūrą, kad aptiktų probleminius modelius, blogą praktiką ar neatitikimus, ir siūlo pakeitimus, kurie išsaugotų medžio semantinę struktūrą , bet pakoreguotų kodo pateikimą.

Pavyzdžiui, „JavaScript“ ekosistemoje yra kelios bibliotekos, kurios pateikia AST JSON formatu, todėl kitiems įrankiams lengviau juo remtis atliekant pertvarkymą, generuojant automatinę dokumentaciją arba kuriant sudėtingų programų struktūros vizualizacijas.

Net ir kiek labiau specializuotose srityse, tokiose kaip testų aprėpties matavimo instrumentavimas ar šaltinio kodo transformavimas į kitas kalbas, AST yra pagrindas, kuriuo grindžiami daugelis šiuolaikinių sprendimų, nes jis leidžia dirbti labai patogiu abstrakcijos lygiu tarp neapdoroto teksto ir mašininio kodo.

Apibendrinant, abstrakčios sintaksės medžiai yra pagrindinė dalis, jungianti kalbos formaliąją gramatiką, jos vidinį vaizdavimą kompiliatoriuje arba interpretatoriuje ir pažangius įrankius, kuriuos naudojame kodui saugiai ir efektyviai rašyti, analizuoti ir transformuoti. Supratimas, kaip jie sudaryti, kaip juose naršyti (naudojant tokias sąvokas kaip Dewey dešimtainė notacija) ir kokio tipo mazgai yra susiję (VALUE, WORD, APPLY, fiksuotos arba kintamos aritminės struktūros ir kt.), padeda mums daug aiškiau pamatyti, ką mašina iš tikrųjų daro apdorodama programą.