Unifikační gramatika

Unifikační gramatika (anglicky unification grammar nebo model-theoretic grammar) je bezkontextová gramatika doplněná o pravidla popisující unifikaci nad strukturami rysů vázanými na každý vrchol derivačního stromu. Jedná se o zobecnění atributových gramatik.

Každý terminál (potažmo preterminál) má přiřazenu strukturu rysů a každé pravidlo přidává do derivačního stromu rovnice nad těmito strukturami. Jednoduchý příkladem je například tato gramatika fragmentu angličtiny:

Bezkontextové pravidlo	Unifikační rovnice
$\text{S}\to \text{NP}\text{VP}$	$\hat{\text{S}}=\widehat{\text{VP}}\bigsqcup [\text{SUBJ:}\widehat{\text{NP}}]$
$\text{VP}\to \text{V}\text{NP}$	$\widehat{\text{VP}}=\hat{\text{V}}\bigsqcup [\text{DOBJ:}\widehat{\text{NP}}]$
$\text{NP}\to \text{N}$	$\widehat{\text{NP}}=\hat{\text{N}}$
$\text{N}\to \text{boys}$	$[\text{LEX}:\text{‘boy’}]$
$\text{N}\to \text{books}$	$[\text{LEX}:\text{‘book’}]$
$\text{V}\to \text{read}$	$[\text{LEX}:\text{‘read’}]$

Zvláštností unifikačních gramatik je, že přijímají i kontextové jazyky a algoritmus pro jejich parsing je NP-těžký. Šablona:Autoritní data