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

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

(Ответ считается верным, если отмечены все правильные варианты ответов.)

Варианты ответа

категориальная абстрактная машина(Верный ответ)

машина Тьюринга

SECD-машина Лендина(Верный ответ)

Похожие вопросы

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

Какая из формализаций является наиболее зрелой?

В чем состоит основное назначение абстрактных машин?

Какая формализация относится к денотационным семантикам?

Какая формализация относится к операционным семантикам?

Какая из теорий не является формализацией семантики?

Какая операция не является основной операцией в ламбда-исчислении?

Какая операция называется каррированием?

Какая из формализаций адекватна для программирования?