@35 Já myslím, že právě ta Harperova definice je obecnější:
1) Jednomu frázovému stromu mohu přiřadit libovolné množství AST
2) Sorty, jenž používám, nemusí být rekurzivně spočetné množiny
Ad 1) Např. jeden operátor v AST mohu použít pro více operátorů v konkrétní syntaxi - operátor implikace v AST mohu použít i pro operátor implikace a operátor obrácené implikace v konkrétní syntaxi. Nebo do AST stromu mohu přidat další uzly. Ten Harperův AST může více abstrahovat od syntaxe.
