Изменения

Теория формальных языков

44 байта добавлено, 19:24, 18 декабря 2011

→‎Теория вычислимости

*[[Линейный клеточный автомат, эквивалентность МТ]]

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

*[[Теорема Райса-Шапиро]]

editor

143

правки