HPSG () – formalna, generatywna teoria gramatyki. W HPSG gramatyka rozumiana jest jako zestaw ograniczeń (ang. constraints) narzucony na strukturę słów i zdań, przedstawianą za pomocą obiektów i ich atrybutów (ang. features).
Do gramatyki należy również sygnatura określająca ontologię (hierarchię oraz posiadane atrybuty) obiektów, przykładowo, rzeczowniki (ale nie czasowniki) zdefiniowane są jako posiadające kategorię przypadka. Typem odpowiadającym w sygnaturze wyrażeniom lingwistycznym jest znak (rozumiany w sensie de Saussure'a), którego podtypem są słowo (np. kot) lub fraza (np. Marysia biegnie, czarny kot). Sygnatura wymaga, aby każdy obiekt wyrażał jeden ze swoich podtypów, stąd niemożliwy jest np. znak będący jednocześnie słowem i frazą.
Struktura obiektów Informacje nt. atrybutów danego słowa wyrażone są w leksykonie, czyli zbiorze słów w danym języku (niektóre gramatyki rozbudowują leksykon dodatkowo o informacji nt. morfologii słów). Przykładowo, w gramatyce angielskiej, słowo walks („idzie”) może być zdefiniowane w leksykonie następująco:
AVM for walks|center