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