K sjednocení gramatiky (nebo vazeb gramatiky ) jsou formální gramatiky objevily v roce 1980 pro analýzu přirozeného jazyka .
V zásadě se vyznačují použitím syntaktických reprezentací ve formě struktur rysů . S těmito liniovými strukturami se manipuluje pomocí operace unify . Unifikační gramatiky jsou snadno implementovatelné a proto se dobře hodí pro automatické zpracování přirozeného jazyka .
Termín je nejednoznačný. Může označovat jakoukoli formální gramatiku, která používá sjednocení. Důraz je proto kladen spíše na formalismus. Nebo označuje sjednocující gramatiky, které byly optimalizovány tak, aby formalizovaly určitou jazykovou teorii. To je například případ LFG a HPSG. Důraz je pak kladen na formalismus stejně jako na formalizovanou lingvistickou teorii, a to až do té míry, že tyto gramatiky jsou označovány jako lingvistické teorie.
I když nepoužívá strukturní rysy, gramatika přídavného stromu je považována za (specializovanou) sjednocující gramatiku, protože používá formalizmus podobný strukturám struktur.
Zde uvedené gramatiky byly ve variantách odmítnuty. Například HPSG byl odmítnut ve verzi, kterou její autoři považovali za vhodnější pro japonštinu, japonskou větnou strukturu věty (JPSG).