@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í".
