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

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

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

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

абстрактная машина П. Лендина(Верный ответ)

теория вычислений Д. Скотта

аксиоматический метод Ч. Хоара

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

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

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

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

Какое условие не относится к характеристическим равенствам КАМ?

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

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

Какая задача формализуема рекурсивно?

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

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