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