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

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

Рассмотрим выражение: $\lambda y : INTEGER | f (x, [\lambda x : INTEGER | x+y])$ Какие утверждения справедливы?

(Ответ считается верным, если отмечены все правильные варианты ответов.)

Варианты ответа

существует связанное вхождение переменной x в выражение(Верный ответ)

существует свободное вхождение переменной x в выражение(Верный ответ)

в этом выражении переменная x является связанной(Верный ответ)

в этом выражении переменная x является свободной(Верный ответ)

в этом выражении переменная y является связанной(Верный ответ)

в этом выражении переменная y является свободной

Похожие вопросы

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

Одной из основных операций, применяемых к лямбда-выражениям, является операция, называемая бета-редукцией, позволяющая избавиться от связанных переменных выражения путем подстановки. Лямбда-выражение: $[\lambda x : X | exp] (e)$ преобразуется в выражение exp [x := e]

Какие утверждения справедливы для бета-редукции?

Выражение

может быть получено из выражения exp2

путем подстановки – заменой вхождений переменной

подвыражением

. Какие утверждения справедливы относительно подстановки?

Композиция функций

– это специальная операция над функциями, которая обозначается как $g \circ f$ или f; g

. Результатом операции является функция h(x)

, такая что h(x) = g(f (x))

для любого применимого аргумента

. Какие утверждения справедливы по отношению к функции h(x)

Композиция функций

– это специальная операция над функциями, которая обозначается как $g \circ f$ или f; g

. Какие утверждения справедливы по отношению к этой операции?

Определим сигнатуру композиции двух функций f ; g

следующим образом: $";": [[X \to Y ] ? [Y \to Z ]] \to [X \to Z]$ Какие утверждения справедливы?

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

в выражения exp1

. Согласно теореме Черча – Россера:

Что позволяет карринг при его применении к функции

аргументов?

Какие утверждения справедливы?

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

Рассмотрим выражение: Какие утверждения справедливы?

Рассмотрим выражение: $\lambda y : INTEGER | f (x, [\lambda x : INTEGER | x+y])$ Какие утверждения справедливы?