@39 "Jednomu frázovému stromu nikdy nemůže odpovídat více AST." Podle té Harperovy definice může - nic mi nebrání zvolit si libovolné zobrazení, kterým převedu frázový strom na AST. Myslím, že nejsem sám, kdo to takhle chápe - viz třeba slajd 122 v následující prezentaci http://www.par.univie.ac.at/~mehofer/teach/CC/semantic.pdf
Tou podivnou větou jsem chtěl říct, že ta Vaše definice AST v podstatě vůbec neabstrahuje od konkrétní syntaxe na rozdíl od té Harperovy definice. U Harpera můžu měnit konkrétní syntax a nechat si AST, což podle mě odpovídá významu slova "abstraktní".
Autor se zabývá vývojem kompilátorů a knihoven pro objektově-orientované programovací jazyky.
Přečteno 36 207×
Přečteno 25 364×
Přečteno 23 797×
Přečteno 20 180×
Přečteno 17 876×