Каковы основные формализации ленивых вычислений?
Каков графический механизм формализации ленивых вычислений?
Какие виды рекурсии существуют?
Что из перечисленного является формализацией рекурсии?
В чем состоит основное назначение рекурсии?
Какими инструкциями необходимо дополнить КАМ для поддержки рекурсии?
Для чего используется механизм сопоставления с образцом?
Какая конструкция используется в языке SML для рекурсивного определения типов?
Какой из объектов адекватно формализует рекурсию?
Какой тип семантики формализуется с помощью доменов?