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