Обсуждение:Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора

☐ нормально оформить уже существующий источник

☐ добавить англоязычные термины

☐ интервики

☐ Расписать формально пример грамматики, который уже есть, указать, что именно является множеством нетерминалов, что — множеством терминалов и т.п.

☐ а еще тут стрелки одинаковые и в правилах (надо [math]\to[/math]) и в выводе (надо [math]\Rightarrow[/math])

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