Порождающие грамматики и классы грамматик

С Сибирьска википедья
Айдать на коробушку Айдать на сыскальник

Порождающие грамматики

Общие сведения

Порождающая грамматика — формальная система, задающая язык через правила вывода.

Грамматика состоит из:

алфавита терминалов алфавита нетерминалов начального символа правил вывода

Теоретические особенности

Грамматики делятся на четыре типа в иерархии Хомского:

тип 0 тип 1 тип 2 тип 3

См. также

Теория формальных языков