Hlavní navigace

Názor ke článku Frázové a abstraktní syntaktické stromy od Radek Miček - @35 Já myslím, že právě ta Harperova definice...

  • 6. 1. 2012 13:41

    Radek Miček (neregistrovaný) 94.113.137.---

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

    Ad 2) Reálná čísla.