Изменения

Перейти к: навигация, поиск
м
Нет описания правки
: {{tick}} интервики
: {{tick}} Расписать формально пример грамматики, который уже есть, указать, что именно является множеством нетерминалов, что — множеством терминалов и т.п.
: {{tick}} а еще тут стрелки одинаковые и в правилах (надо <tex>\to</tex>) и в выводе (надо <tex>\Rightarrow</tex>)
: {{tick}} пояснить, почему грамматика из первого примера неоднозначна, и привести пример аналогичной однозначной с док-вом. Написать, что есть КС-грамматики, для которых нет однозначных, сослаться на существенную неоднозначность, сослаться на то, что определение неоднозначности неразрешимо --[[Участник:Dgerasimov|Дмитрий Герасимов]] 22:21, 14 декабря 2012 (GST)

Навигация