Gramatika struktury frází řízená hlavou (Head-driven phrase structure grammar, HPSG) je vysoce lexikalizovaná nederivátovaná generativní gramatická teorie vyvinutá Carlem Pollardem a Ivanem Sagem (1985). Je bezprostředním nástupcem generalizované gramatiky struktury frází. HPSG čerpá z jiných oborů, jako je počítačová věda (teorie datových typů a reprezentace znalostí) a používá pojem znaku Ferdinanda de Saussura. Používá jednotný formalismus a je uspořádán modulárně, což ho činí atraktivním pro zpracování přirozeného jazyka.
Gramatika HPSG zahrnuje principy a gramatická pravidla a lexikonové položky, které se obvykle nepovažují za součást gramatiky. Formalismus je založen na lexikalismu. To znamená, že lexikon je více než jen seznam položek; je sám o sobě bohatě strukturovaný. Jednotlivé položky jsou označeny typy. Typy tvoří hierarchii.
HPSG generuje řetězce kombinováním znaků, které jsou definovány jejich umístěním v hierarchii typů a jejich vnitřní strukturou prvků, reprezentovanou maticemi hodnot atributů (AVM).
Funkce berou typy nebo seznamy typů jako své hodnoty, a tyto hodnoty mohou mít zase svou vlastní strukturu prvků. Gramatická pravidla jsou z velké části vyjádřena omezeními, která na sebe znaky kladou. Struktura prvků znaku popisuje jeho fonologické, syntaktické a sémantické vlastnosti. V běžné notaci se AVM zapisují s prvky velkými písmeny a typy malými písmeny psanými kurzívou. Číslované indexy v AVM představují token identických hodnot.
Ve zjednodušeném AVM pro slovo „chodí“ níže je kategorická informace slovesa rozdělena na prvky, které ji popisují (HEAD) a prvky, které popisují její argumenty (VALENCE).
„Procházky“ je znak typového slova s hlavičkou typového slovesa. Jako neústupné sloveso nemá „procházky“ žádný doplněk, ale vyžaduje předmět, který je singulárním podstatným jménem třetí osoby. Sémantická hodnota předmětu (OBSAH) je koindexována jediným argumentem slovesa (jedinec, který procházku provádí). Následující AVM pro „ona“ představuje znak s hodnotou SYNSEM, který by mohl splňovat tyto požadavky.
Znaky typové fráze sjednocují s jednou nebo více dcerami a šíří informace směrem nahoru. Následující AVM je pro hlavu-subj-fráze, která vyžaduje dvě dcery: hlavní dcera (sloveso) a non-hlava dcera, která splňuje sloveso je SUBJ omezení.
Konečným výsledkem je znak s hlavičkou slovesa, prázdnými prvky podkategorizace a fonologickou hodnotou, která objednává obě dcery.
I když je skutečná gramatika HPSG složena výhradně z struktur prvků, lingvisté často používají stromy k reprezentaci sjednocení znaků tam, kde by ekvivalentní AVM bylo těžkopádné.