Изменения

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

Разрешимые (рекурсивные) языки

2 байта убрано, 00:38, 1 декабря 2015

→‎Примеры разрешимых множества

Далее считаем, что входные данные программы и сама программа расположены над одним алфавитом <tex>\Sigma</tex>.

== Примеры разрешимых ~~множества~~ множеств ==

{{Утверждение

|id=st1

Анонимный участник

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