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