En grammatik med en sætningsstruktur er en formel grammatik , en algebraisk struktur bestående af en ordnet firdobbelt G=(N, T, P, S) og en implicit defineret sammenkædningsoperation på den.
Eksempel Den grammatik, der genererer sproget {0 n 1 n | n≥0} er G: G= ({S}, {0,1}, P, S), hvor P = {S→0S1, S→ε}.
Begrebet deriverbarhed: Hvis αβγ er et sekventielt tegnsæt af et sprog G, og β→δ er en regel for dette sprog, så er αβγ=>αδγ (αδγ kan direkte afledes fra αβγ i G).
En kæde er en sekventiel tildeling af ikke-terminale symboler. Cyklus - lukket kredsløb
x (x ∈ N) er et utilgængeligt symbol, hvis x ikke er ækvivalent med startsymbolet S (x ≠ S), og der ikke er nogen afledninger af typen S + →αxβ. Et symbol siges at være uproduktivt , hvis der ikke er nogen streng γ, således at et ikke-terminalt symbol ikke vil blive tildelt γ (x→γ) Et symbol siges at være ubrugeligt , hvis det er uproduktivt eller utilgængeligt.