Изменения

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

Возможность порождения формальной грамматикой произвольного перечислимого языка

137 байт добавлено, 22:08, 21 декабря 2015
м
→‎Построение грамматики по МТ
#<tex>q_Y[e, B] \rightarrow q_Yq_Y</tex>;
#<tex>q_Y \rightarrow e</tex>.
 
[[Категория: Теория вычислимости]]
[[Категория: Вычислительные формализмы]]
KK
275
правок
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/50366»

Навигация