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

Какой вид имеет правая часть БНФ для комбинаторного терма?

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

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

K |<переменная>|(<терм><терм>)

K|S|<переменная>|(<терм><терм>)(Верный ответ)

K|S|<переменная>|(Λ<терм>.<терм>)

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

Какой вид имеет правая часть БНФ для аппликации SML-выражений?

Какой вид имеет правая часть БНФ для типов SML-выражений?

Какой из объектов не имеет обозначения в формах Бэкуса-Наура?

Какой тип имеет функция из int в bool?

Какой из типов можно определить рекурсивно?

Какой из объектов адекватно формализует рекурсию?

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

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

В какой последовательности строится теория вычислений Д. Скотта?

Какой из списков содержит лишь многоместные операции КАМ?