Какая формализация абстрактных машин является зрелой?
Какая из формализаций адекватна для программирования?
Какая из теорий не является формализацией семантики?
Какая из теорий не является формализацией семантики?
Какая операция не является основной операцией в ламбда-исчислении?
Каковы наиболее значительные недостатки Microsoft .NET?
Каков наиболее полный перечень синтаксических категорий языка SML?
Какова наиболее характерная область применения языков параллельного программирования?
Какая задача формализуема рекурсивно?
Какая операция называется каррированием?
