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

Что из перечисленного является формализацией рекурсии?

(Ответ считается верным, если отмечены все правильные варианты ответов.)

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

комбинаторная логика Х. Карри(Верный ответ)

теория вычислений Д. Скотта(Верный ответ)

абстрактная машина П. Лендина

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

Что из перечисленного является формализацией КАМ?

Что из перечисленного является формализацией синтаксиса?

Что из перечисленного является формализацией семантики?

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

Какая из теорий не является формализацией семантики?

В чем состоит основное назначение рекурсии?

Какие виды рекурсии существуют?

Какой комбинатор используется для формализации рекурсии?

Какими инструкциями необходимо дополнить КАМ для поддержки рекурсии?