Что из перечисленного является формализацией рекурсии?
В чем состоит основное назначение рекурсии?
Какой комбинатор используется для формализации рекурсии?
Какими инструкциями необходимо дополнить КАМ для поддержки рекурсии?
Каковы виды семантик, ориентированные на интерпретацию?
Какие типы SML относятся к базисным?
На какие категории подразделяются типы SML?
Какие домены имеют неопределенные элементы?
Какие объекты могут определяться рекурсивно?
Какие синтаксические домены описываю семантику SML?