Unifikační gramatika: Porovnání verzí

Přidáno 101 bajtů ,  před 1 rokem
m
+ kategorie & anglické termíny
m (Oprava odkazů)
m (+ kategorie & anglické termíny)
'''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.
 
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]]