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

Přidáno 52 bajtů ,  před 1 rokem
m
Oprava odkazů
(První verze)
 
m (Oprava odkazů)
'''Unifikační gramatika''' 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.
Jednoduchý příkladem je například tato gramatika fragmentu angličtiny:
 
|}
 
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ý]].