A frázisszerkezettel rendelkező nyelvtan egy formális nyelvtan , egy algebrai szerkezet, amely egy G=(N, T, P, S) rendezett négyesből és egy rajta lévő implicit módon meghatározott összefűzési műveletből áll.
Példa A nyelvet létrehozó nyelvtan: {0 n 1 n | n≥0} jelentése G: G= ({S}, {0,1}, P, S), ahol P = {S→0S1, S→ε}.
A származtatás fogalma: Ha αβγ egy G nyelv szekvenciális karakterkészlete, és β→δ ennek a nyelvnek a szabálya, akkor αβγ=>αδγ (αδγ közvetlenül származtatható a G-beli αβγ-ból).
A lánc nem terminális szimbólumok szekvenciális hozzárendelése. Ciklus - zárt áramkör
x (x ∈ N) elérhetetlen szimbólum, ha x nem ekvivalens az S kezdőszimbólum (x ≠ S), és nincsenek S + →αxβ típusú származékok. Egy szimbólumról azt mondjuk , hogy nem produktív , ha nincs γ karakterlánc, így nem terminális szimbólum ne lenne hozzárendelve a γ-hoz (x→γ). A szimbólumról azt mondjuk , hogy haszontalan , ha nem produktív vagy nem elérhető.