Изменения

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

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

18 байт добавлено, 11:49, 13 декабря 2014

→‎Разрешимые и перечислимые языки

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

*[[Busy beaver]]

*[[Квайны]]

=== Вычислительные формализмы ===

262

правки

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