База ответов ИНТУИТ

Объектно-ориентированное программирование и программная инженерия

<<- Назад к вопросам

Под трансформацией лямбда-выражения будем понимать последовательное выполнение ряда операций, включающих альфа-преобразование и бета-редукцию. Пусть заданы две различные трансформации, преобразующие лямбда-выражение exp в выражения exp1 и exp2. Согласно теореме Черча – Россера:

(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
cуществует трансформация, которая приводит выражение exp1 к exp2(Верный ответ)
cуществуют две другие трансформации, которые приводят выражения exp1 и exp2 к единому выражению f(Верный ответ)
cуществует трансформация, которая приводит выражение exp2 к exp1(Верный ответ)
не существует двух других трансформаций, которые приводили бы выражения exp1 и exp2 к единому выражению f
Похожие вопросы
Выражение exp1 может быть получено из выражения exp2 путем подстановки – заменой вхождений переменной x подвыражением e. Какие утверждения справедливы относительно подстановки?
Одной из основных операций, применяемых к лямбда-выражениям, является операция, называемая бета-редукцией, позволяющая избавиться от связанных переменных выражения путем подстановки. Лямбда-выражение: [\lambda x : X | exp] (e) преобразуется в выражение exp [x := e] Какие утверждения справедливы для бета-редукции?
Композиция функций f и g – это специальная операция над функциями, которая обозначается как g \circ f или f; g. Результатом операции является функция h(x), такая что h(x) = g(f (x)) для любого применимого аргумента x. Какие утверждения справедливы по отношению к функции h(x)?
Композиция функций f и g – это специальная операция над функциями, которая обозначается как g \circ f или f; g. Какие утверждения справедливы по отношению к этой операции?
Пусть дано лямбда-выражение: \lambda x : INTEGER | [\lambda y : INTEGER | x+y+z ] При выполнении альфа преобразования можно:
Определим сигнатуру композиции двух функций f ; g следующим образом: ";": [[X \to Y ] ? [Y \to Z ]] \to [X \to Z] Какие утверждения справедливы?
Что позволяет карринг при его применении к функции N аргументов?
Рассмотрим выражение: \lambda y : INTEGER | f (x, [\lambda x : INTEGER | x+y]) Какие утверждения справедливы?
Зависимые переменные лямбда-выражений, также как и формальные параметры методов в программировании, могут быть переименованы без потери смысла. Операция, выполняющая такое преобразование в лямбда-выражениях, называется альфа – преобразованием. При выполнении этого преобразования зависимой переменной x можно дать:
Имена в подвыражениях лямбда выражения могут конфликтовать. Какие утверждения справедливы относительно устранения возникающей некорректности записи выражения?