Fraasirakenteinen kielioppi on muodollinen kielioppi , algebrallinen rakenne, joka koostuu järjestetystä nelinkertaisesta G=(N, T, P, S) ja siihen implisiittisesti määritellystä ketjutusoperaatiosta.
Esimerkki Kielioppi, joka luo kielen {0 n 1 n | n≥0} on G: G= ({S}, {0,1}, P, S), missä P = {S→0S1, S→ε}.
Johdatettavuuden käsite: Jos αβγ on kielen G peräkkäinen merkistö ja β→δ on tämän kielen sääntö, niin αβγ=>αδγ (αδγ on suoraan johdettavissa G:n αβγ:sta).
Ketju on ei-päätteisten symbolien peräkkäinen määritys. Kierto - suljettu piiri
x (x ∈ N) on saavuttamaton symboli, jos x ei ole ekvivalentti alkusymbolin S (x ≠ S) kanssa ja tyypin S + →αxβ johdannaisia ei ole. Symbolin sanotaan olevan tuottamaton , jos siinä ei ole merkkijonoa γ, jolloin ei-päätteistä symbolia ei osoiteta γ:lle (x→γ). Symbolin sanotaan olevan hyödytön , jos se on tuottamaton tai ei ole käytettävissä.