Die Head-driven phrase structure grammar (HPSG) stellt eine bestimmte Art dar Sprachen formal zu beschreiben. Der Formalismus ist genügend anschaulich, dass er auch überblickmässig gelesen werden kann und trotzdem genügend genau, dass eine automatische Bearbeitung möglich ist (siehe Computerlinguistik)
HPSG ist eine Variante einer generativen Grammatik. Sie wurde von Carl Pollard und Ivan Sag (1985) entwickelt. Die einzelnen Elemente der Sprache werden mit Datentypen im Sinne der Informatik beschrieben (siehe auch Wissensrepräsentation). Der grundlegende Datentyp ist das Zeichen (im Sinn von Ferdinand de Saussure). Der Formalismus ist einheitlich und modular strukturiert.
Das sign wird unterteilt in einerseits Angaben zur Phonetik und andererseits Angaben der syntaktischen und semantischen Eigenschaften.
Die entsprechenden Schlüsselworte in HPSG-Formalismus sind PHON (die akustische Repräsentation) und SYNSEM (die syntaktische und semantische Form).
HPSG funktioniert mit der Angabe verhältnismäßig weniger Grundregeln. Der wesentliche Teil der Information wird im Lexikon abgelegt.