Какая формализация абстрактных машин является зрелой?
В чем состоит основное назначение абстрактных машин?
Какая формализация относится к денотационным семантикам?
Какая формализация относится к операционным семантикам?
Какая задача формализуема рекурсивно?
Какая из формализаций адекватна для программирования?
Какая операция называется каррированием?
Какая из формализаций является наиболее зрелой?
Какая из теорий не является формализацией семантики?
Какая из теорий не является формализацией семантики?