Изменения

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

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

39 байт добавлено, 14:15, 6 декабря 2012

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

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

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

*[[Лямбда-исчисление]]

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

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

403

правки

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