Изменения
Нет описания правки
*[[Перечислимые языки]]
*[[m-сводимость]]
== Примечания ==
<references />
== Источники информации ==
* Н. К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. — М.: МЦНМО, 1999. С. 134. ISBN 5-900916-36-7