Что из перечисленного является формализацией семантики?
В чем состоит основное назначение семантики?
Какая из теорий не является формализацией семантики?
Какая из теорий не является формализацией семантики?
Что понимается под конструкторами доменов?
Для каких доменов рекурсивные определения разрешимы?
Для каких доменов допустимы рекурсивные равенства?
Сколько видов конструкторов доменов в теории вычислений Д. Скотта?
Какой комбинатор используется для формализации рекурсии?
Какой из объектов адекватно формализует рекурсию?