База ответов ИНТУИТ

Введение в теорию программирования. Функциональный подход

<<- Назад к вопросам

Какая формализация абстрактных машин отвечает требованию реализма?

(Отметьте один правильный вариант ответа.)

Варианты ответа
машина Тьюринга
машина Поста
машина Лендина(Верный ответ)
Похожие вопросы
Какая формализация абстрактных машин является зрелой?
В чем состоит основное назначение абстрактных машин?
Какая формализация относится к денотационным семантикам?
Какая формализация относится к операционным семантикам?
Какая задача формализуема рекурсивно?
Какая из формализаций адекватна для программирования?
Какая операция называется каррированием?
Какая из формализаций является наиболее зрелой?
Какая из теорий не является формализацией семантики?
Какая из теорий не является формализацией семантики?