Обсуждение:Формальные грамматики — различия между версиями
| Строка 1: | Строка 1: | ||
: {{tick}} примеры неинтересные, хотя бы какую-нибудь контекстно-зависимую грамматику надо. Станкевич рассказывал клевый пример с грамматикой 0^n 1^n 2^n, вот его надо запилить | : {{tick}} примеры неинтересные, хотя бы какую-нибудь контекстно-зависимую грамматику надо. Станкевич рассказывал клевый пример с грамматикой 0^n 1^n 2^n, вот его надо запилить | ||
: {{tick}} определение выводимости за 0 или более шагов немного неправильное, надо бы потребовать, чтобы альфа было равно первому гамма, а бета — последнему гамма. Ну и написать что это рефлексивно-транзитивное замыкание. | : {{tick}} определение выводимости за 0 или более шагов немного неправильное, надо бы потребовать, чтобы альфа было равно первому гамма, а бета — последнему гамма. Ну и написать что это рефлексивно-транзитивное замыкание. | ||
| + | : {{tick}} заголовки здоровенные, они первого уровня (=) , а надо второго (==) | ||
: {{tick}} англоязычные термины | : {{tick}} англоязычные термины | ||
: {{tick}} ссылки на английские источники --[[Участник:Dgerasimov|Дмитрий Герасимов]] 22:59, 7 декабря 2012 (GST) | : {{tick}} ссылки на английские источники --[[Участник:Dgerasimov|Дмитрий Герасимов]] 22:59, 7 декабря 2012 (GST) | ||
Версия 22:00, 7 декабря 2012
- ☐ примеры неинтересные, хотя бы какую-нибудь контекстно-зависимую грамматику надо. Станкевич рассказывал клевый пример с грамматикой 0^n 1^n 2^n, вот его надо запилить
- ☐ определение выводимости за 0 или более шагов немного неправильное, надо бы потребовать, чтобы альфа было равно первому гамма, а бета — последнему гамма. Ну и написать что это рефлексивно-транзитивное замыкание.
- ☐ заголовки здоровенные, они первого уровня (=) , а надо второго (==)
- ☐ англоязычные термины
- ☐ ссылки на английские источники --Дмитрий Герасимов 22:59, 7 декабря 2012 (GST)
