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

Каковы основные формализации ленивых вычислений?

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

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

теория вычислений и комбинаторная логика

редукция графов и комбинаторная логика(Верный ответ)

редукция графов и теория вычислений

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

Каков графический механизм формализации ленивых вычислений?

Каковы возможные способы реализации "ленивых" вычислений?

Каковы основные стратегии вычислений?

Что из перечисленного является синонимом "ленивых" вычислений?

Каковы основные свойства отношения конвертируемости?

Каковы основные способы задания типа?

Каковы основные пути оптимизации КАМ-кода?

Каковы основные компоненты формальной теории?

Каковы основные условия для декартово замкнутых категорий?

Каковы основные компоненты чистой системы типов?