Определения
- Порождающая грамматика
- Цепочка
- Непосредственный вывод
- Выводимость цепочки
- Выводимость слова
- Вывод слова
- Вывод
- Язык порождаемый грамматикой
- Эквивалентность грамматик Куча примеров грамматик
Примеры построения грамматик
- Язык Дика
- Дописать еще, если понадобится
Определения
- Контекстно-свободная грамматика
- Контекстно-свободный язык
- Праволинейная грамматика
- Рациональный язык