Изменения

Перейти к: навигация, поиск

Участник:Dgerasimov/Тикеты по конспектам year2011

476 байт добавлено, 16:53, 21 октября 2013
2. Контекстно-свободные грамматики
== 2. Контекстно-свободные грамматики ==
# '''!!!''' [[Формальные грамматики]]
## примеры неинтересные, хотя бы какую-нибудь контекстно-зависимую грамматику надо. Станкевич рассказывал клевый пример с грамматикой 0^n 1^n 2^n, вот его надо запилить
## определение выводимости за 0 или более шагов немного неправильное, надо бы потребовать, чтобы альфа было равно первому гамма, а бета — последнему гамма. Ну и написать что это рефлексивно-транзитивное замыкание.
## Источник бесполезен без конкретного указания, где искать
## Внутреннюю ссылку на ДКА
# '''!!!''' [[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора]]
## нормально оформить уже существующий источник
## добавить англоязычные термины
## а еще тут стрелки одинаковые и в правилах (надо <tex>\to</tex>) и в выводе (надо <tex>\Rightarrow</tex>)
## пояснить, почему грамматика из первого примера неоднозначна, и привести пример аналогичной однозначной с док-вом. Написать, что есть КС-языки, для которых нет однозначных КС-грамматик, сослаться на существенную неоднозначность.
# '''!!!''' [[Замкнутость КС-языков относительно различных операций]]## Че за --? Заменить на —## Half некрасивый, в \mathrm его## В конкатенации что-то немного муть написана## "Необходима картинка. " — запилить!## Про разворот — доказать## побольше внутренних ссылок, на МП-автомат там, например## проставить категории ----  
# [[Удаление бесполезных символов из грамматики]]
# [[Удаление eps-правил из грамматики]]

Навигация