Какой вид имеет правая часть БНФ для типов SML-выражений?
Какой вид имеет правая часть БНФ для комбинаторного терма?
При какой стратегии вычислений все выражения должны быть означены до выполнения аппликации?
В каком направлении восстанавливаются скобки для аппликации в комбинаторной логике?
В каком направлении восстанавливаются скобки для аппликации в ламбда-исчислении?
На каком этапе определяются типы выражений в языке SML?
Какой из объектов не имеет обозначения в формах Бэкуса-Наура?
Какой тип имеет функция из int в bool?
Какой комбинатор используется для формализации рекурсии?
Какой тип семантики формализуется с помощью доменов?
