Для каких доменов рекурсивные определения разрешимы?
(Отметьте один правильный вариант ответа.)
Варианты ответа
ни для одного
для всех(Верный ответ)
только для конечных и стандартных
Введение в теорию программирования. Функциональный подход
Похожие вопросы
Для каких доменов допустимы рекурсивные равенства?
Что понимается под конструкторами доменов?
Какой тип семантики формализуется с помощью доменов?
Сколько видов конструкторов доменов в теории вычислений Д. Скотта?
Какая конструкция используется в языке SML для рекурсивного определения типов?