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

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

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

Пусть дано лямбда-выражение: \lambda x : INTEGER | [\lambda y : INTEGER | x+y+z ] При выполнении альфа преобразования можно:

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