Frázová gramatika je jeden z najdôležitejších modelov na opis formálnych jazykov.
Jednotlivé slová gramatika generuje pomocou svojich pravidiel zo štartovacieho symbolu. V každom kroku je možné podľa pravidiel prepísať istú časť už vytvoreného slova na iné. Do jazyka, ktorý táto gramatika generuje, potom vyberieme tie odvodené slová, ktoré sa skladajú len zo špeciálnych symbolov -- terminálov.
Definícia[upraviť]
Frázová gramatika 
je usporiadaná štvorica 
, kde
je abeceda neterminálnych symbolov (neterminálov),
je abeceda terminálnych symbolov (terminálov), pričom 
,
je množina prepisovacích pravidiel (konečná!),
je počiatočný neterminál.
je 
je abeceda terminálnych symbolov (terminálov), pričom 
,
je množina prepisovacích pravidiel (konečná!),
je počiatočný neterminál.čítajte viac o Frázová gramatika