База ответов ИНТУИТ

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

<<- Назад к вопросам

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

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

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