Выражение если f(x,y)>0 то 1 иначе 0 на языке Scheme будет выглядеть так

Комбинатор вычеркиватель K можно задать правилом редукции

K a b → a

 

Функция h(f,g)=λ(x)f(g(x)) имеет тип

(Y→Z)x(X→Y)→ (X→Z)

 

Функция называется частичной или частично определенной

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

 

Что будет результатом работы функции cdr(X), если X='((A B) C (D E))?

(C (D E))

 

Соответствие между переменными и их значениями, которые являются S-выражениями называется

контекст

 

Регистрами SECD являются

Кроме Указатель на функциональное замыкание выполняемой функции Текст программы

Начало формы

Выражение "если f(x)>0 то 1 иначе 0" на языке Scheme будет выглядеть так

(IF (> (F X) 0) 1 0)

 

Вызов функции с меньшим числом аргументов, чем указано в определении функции, результатом которого является новая функция, называется

частичным применением

Укажите правильное определение для функции, определяющую, что атом x есть в списке s.

элемент(x,s) =если null(s) то #F иначе eq(x,car(s)) или элемент(x,cdr(s))

Правило

используется для вычисления базовых функций с достаточным количеством аргументов

 

Для представления любого λ-выражения в комбинаторной логике достаточно следующих комбинаторов (укажите базис с минимальным количеством комбинаторов)

распределитель S вычеркиватель K

 

В функциональном программировании для управления процессом выполнения программы можно использовать конструкции

вызов подпрограммы ветвления

 

Функция cadr(x) возвращает

второй элемент списка x

 

Какие из следующих строк являются S-выражением?

(X Y) (() (A B C)) ()

 

Замыкание состоит из

λ-выражения контекста, определяющего значения свободных переменных

 

Выражение "если g(x,y,z)>0 то 1 иначе 0" на языке Scheme будет выглядеть так

(IF (> (G X Y Z) 0) 1 0)

 

Выражение "если x>0 то 1 иначе 0" на языке Scheme будет

(IF (> X 0) 1 0)

Выполнение действий с циклическими структурами возможно в функциональном программировании только с помощью

запоминания

 

Укажите правильное определение для функции, определяющую длину списка s.

длина(s) ={ f(s, 0) гдерек f=λ(x,y) если null(x) то y иначе f(cdr(x),y +1) }

 

Теоретической основой функционального программирования является

λ-исчисление Чёрча теория рекурсивных функций

 

Тождественный комбинатор I можно задать правилом редукции

I a → a

 

Какая функция позволяет сравнить два атома

eq

 

Блоки локальных определений используются, чтобы

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

не определять некоторые функции глобально

 

Какую формулу в языке Scheme следует использовать для проверки, что S-выражение X является атомом?

(NOT (PAIR? X))

 

Укажите правильное определение для функции, определяющую количество элементов списка s, равных заданному x.

колво(s,x) =если null(s) то 0 иначе колво(cdr(s),x) +(если eq(car(s),x) то 1 иначе 0)

 

Какая функция из перечисленных ниже имеет тип (X x Y → Z) x X → (Y → Z)

g(f,a)=λ(x) f(a,x)

Редукция

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

 

Комбинатор фиксированной точки Y можно задать правилом редукции

Y a → a (Y a)

 

Что будет результатом работы функции отобр('(1 2 3), ув(5)), если ув(n) = λ(z) z+n?

(6 7 8)

 

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

cdr

 

Укажите правильные утверждения:

в функциональном программировании физические адреса для размещения объектов определяются на этапе компиляции (т.е. распределение памяти является статическим, а не динамическим)

 

Какую формулу в языке Scheme следует использовать для проверки, что два числа X и Y не равны?

(NOT (= X Y))

 

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

энергичным

 

Языками, реализующими функциональную парадигму программирования, являются

LISP Haskell Scheme

Выражение "если f(x,y)>0 то 1 иначе 0" на языке Scheme будет выглядеть так

(IF (> (F X Y) 0) 1 0)