Обсуждение:Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора
Версия от 21:41, 14 декабря 2012; Dgerasimov (обсуждение | вклад)
- ☐ нормально оформить уже существующий источник
- ☐ добавить англоязычные термины
- ☐ интервики
- ☐ Расписать формально пример грамматики, который уже есть, указать, что именно является множеством нетерминалов, что — множеством терминалов и т.п.
- ☐ а еще тут стрелки одинаковые и в правилах (надо ) и в выводе (надо )
- ☐ пояснить, почему грамматика из первого примера неоднозначна, и привести пример аналогичной однозначной с док-вом. Написать, что есть КС-грамматики, для которых нет однозначных, сослаться на существенную неоднозначность, сослаться на то, что определение неоднозначности неразрешимо --Дмитрий Герасимов 22:21, 14 декабря 2012 (GST)