1250463762

•    produkcję gramatyki, opisującą związek pomiędzy dwoma napisami (np. napisem a i napisem P), zapisujemy zwyczajowo a -» p, gdzie strzałka oznacza znak zastąpienia, a cały napis poleca zastąpić napis a napisem P;

•    relacja wywodu bezpośredniego => (oraz jej domknięcie =>*):

xabcy => xdvy o ile w zbiorze P istnieje produkcja abc —> dv;

•    język J(G) generowany gramatyką G:

J(G) = {x | S =>* x a x e Z*}

•    zdanie (lub słowo) to napis zbudowany wyłącznie z symboli terminalnych, uzyskany za pomocą relacji wywodu =>*; napis zawierający symbole terminalne i nieterminalne, również uzyskany za pomocą relacji wywodu =>*, nazywamy formą zdaniową,