Что из перечисленного является формализацией КАМ?
Что из перечисленного является формализацией рекурсии?
Что из перечисленного является формализацией синтаксиса?
Что из перечисленного является формализацией семантики?
Какой из языков функционального программирования назван по имени абстрактной машины?
Какая из теорий не является формализацией семантики?
Какая из теорий не является формализацией семантики?
Каково основное требование к абстрактной машине?
Что из перечисленного является синонимом "ленивых" вычислений?
Что из перечисленного является этапом развития теории типов?