Изменения

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

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

35 байт добавлено, 15:47, 5 декабря 2012

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

*[[Иммунные и простые множества]]

*[[Теорема о рекурсии]]

*[[Машина Тьюринга]]

*[[m-сводимость]]

*[[Примеры неразрешимых задач: проблема соответствий Поста]]

Андрей Шулаев

304

правки

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/27265»