Изменения

: {{tick}} примеры неинтересные, хотя бы какую-нибудь контекстно-зависимую грамматику надо. Станкевич рассказывал клевый пример с грамматикой 0^n 1^n 2^n, вот его надо запилить

: {{tick}} определение выводимости за 0 или более шагов немного неправильное, надо бы потребовать, чтобы альфа было равно первому гамма, а бета — последнему гамма. Ну и написать что это рефлексивно-транзитивное замыкание.

: {{tick}} англоязычные термины

: {{tick}} ссылки на английские источники --[[Участник:Dgerasimov|Дмитрий Герасимов]] 22:59, 7 декабря 2012 (GST)