Unifikační gramatika: Porovnání verzí
Smazaný obsah Přidaný obsah
m Oprava odkazů |
m + kategorie & anglické termíny |
||
Řádek 1:
'''Unifikační gramatika''' (anglicky ''unification grammar'' nebo ''model-theoretic grammar'') je [[bezkontextová gramatika]] doplněná o pravidla popisující [[unifikace (logika)|unifikaci]] nad [[struktura rysů|strukturami rysů]] vázanými na každý vrchol derivačního stromu. Jedná se o zobecnění [[atributová gramatika|atributových gramatik]].
Každý [[terminál (gramatika)|terminál]] (potažmo [[preterminál]]) má přiřazenu strukturu rysů a každé pravidlo přidává do [[derivační strom|derivačního stromu]] rovnice nad těmito strukturami.
Řádek 22:
Zvláštností unifikačních gramatik je, že přijímají i [[kontextový jazyk|kontextové jazyky]] a algoritmus pro jejich [[parsing]] je [[NP-úplnost|NP-těžký]].
[[Kategorie:Formální jazyky]]
| |||