Неограниченные грамматики

• В грамматиках типа 0 на правуюи левую части продукции  не накладывается никаких ограничений, кроме .

• Общего алгоритма распознавания не существует.

Контекстно зависимые грамматики

Грамматика типа 1 (НС-грамматики).

Контекстно-зависимые грамматики имеют продукции вида A, где А – некоторый нетерминальный символ; ,  - производные цепочки, которые образуют контекст, в котором A может быть заменён продукцией ()

Пример:

• SaSBC | abC (1 тип)

• CBBC (0 тип)

• bBbb (1 тип)

• cCcc (1 тип)

Контекстно свободные грамматики

Грамматика типа 2 (КС – грамматики) – грамматики с правилами вида A, т.е. левая часть продукции содержит только один нетерминальный символ, т.е. говорят, что грамматика свободна от контекста. Для них существуют эффективные алгоритмы для синтаксического анализа. Такиеграмматики часто используются для построения формальных языков.

Пример:

• G=<{a,b,c}, {S,T,M}, S, R>

• S bT | a

• TaM |c

Автоматные грамматики

Грамматики типа 3 (регулярные языки) – грамматики, с правилами вида Аa; ABa; A. Имеют линейные по времени методы распознавания.

Пример:

• SaS |bA

• AaB|

• BbA|a

Эквивалентность грамматик

Грамматики называют эквивалентными, если они порождают один и тот же язык.

Однозначность грамматик

Грамматика называется однозначной, если для каждой цепочки символов языка, заданного этой грамматикой, можно построить единственный левосторонний (правосторонний) вывод. В противном случае грамматика называется неоднозначной.