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

Правильный ответ:

не существует двух других трансформаций, которые приводили бы выражения и к единому выражению

cуществуют две другие трансформации, которые приводят выражения и к единому выражению

cуществует трансформация, которая приводит выражение к

cуществует трансформация, которая приводит выражение к

• # При моделировании 7-и уровневой классификации Линнея создан объект prima класса "Примат". (В классификации Линнея это уровень – отряд. Согласно Линнею, к приматам относятся люди, обезьяны, летучие мыши, ленивцы). Какие утверждения справедливы по отношению к этому объекту?
• # Какие утверждения справедливы?
• # Универсальность и наследование – два тесно связанных механизма, обеспечивающие мощь ОО проектирования и программирования. Рассмотрим полиморфную структуру данных LIST[VEHICLE] – список, элементами которого являются транспортные средства. Укажите, элементы какого или каких классов не могут храниться в этом списке?
• # При определении агента его операндами являются как аргументы метода, присоединяемого к агенту, так и цель вызова. Операнды агента могут быть как открытыми, так и закрытыми. Какие утверждения справедливы относительно операндов агента?
• # Зависимые переменные лямбда-выражений, также как и формальные параметры методов в программировании, могут быть переименованы без потери смысла. Операция, выполняющая такое преобразование в лямбда-выражениях, называется альфа – преобразованием. При выполнении этого преобразования зависимой переменной x можно дать: