271
правка
Изменения
Нет описания правки
Любой [[Разрешимые_(рекурсивные)_языки | разрешимый язык]] <tex>L</tex> является перечислимым.
|proof=
Любой разрешимый язык <tex>L</tex> является полуразрешимым. Так как любой полуразрешимый язык является перечислимым, то разрешимый язык <tex>L</tex> является перечислимым.
}}
== Литература ==
* Н. К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. {{---}} М.: МЦНМО, 1999. С. 134. ISBN 5-900916-36-7
