Изменения

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

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

18 байт добавлено, 16:06, 3 января 2013

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

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

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

*[[Busy beaver]]

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

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

355

правок

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