Ответы к контрольной работе: Введение в программирование на Лиспе

Какой из результатов вычисления формы (rplacd (cdr x) (car x)) , где x – список (a b c d), является верным:

Каким образом реализуются замедленные вычисления:

Что такое рекурсивная функция:

Каким образом в Лиспе изображаются имена переменных и функций:

Какой из результатов вычисления формы (intersection '(1 2 3) '(4 5 3)) является верным. Функция intersection имеет следующее определение: (DEFUN INTERSECTION (X Y) (COND ((NULL X) NIL) ((MEMBER (CAR X) Y) (CONS (CAR X) (INTERSECTION (CDR X) Y)) ) (T (INTERSECTION (CDR X) Y)) ))

Какие из приведенных ниже строк являются комментариями в системе Лисп:

Укажите выражение, при интерпретации которого возникнет сообщение об ошибке (Лисп элементарный):

Укажите формы, с помощью которых можно обнулить каждый элемент списка:

Являются ли приведенные ниже описания функции взятия второго элемента (необязательно атома) списка семантически и синтаксически верными. Указать верное описание:

Что такое Атом:

Как посмотреть результаты пошаговой интерпретации выражения (cons 1 (cons 1 2)):

Какие из перечисленных ниже выражений вычислимы (не будет сообщения об ошибке):

Укажите, какая из приведенных ниже форм являются специальными:

Какое из приведенных ниже выражений является примером правильного использования функционала map-el: (defun map-el (fn xl) (cond (xl (cons (funcall fn (car xl) ) (map-el fn (cdr xl)) ) ) ) )

Какой из результатов может быть получен при вычислении формы (eq '(Nil) (atom '(T))), и укажите причину, почему это так:

Под термином "форма" в языке Лисп понимается:

Укажите форму, содержащую ошибку:

Какая из представленных ниже пар форм дает одинаковые результаты при их вычислении:

Под динамическим управлением вычислениями понимают:

Что означает вызов файла Лисп-системы с опцией clisp.exe –o filename:

Какой из результатов вычисления формы (pgrp '((1 2) 3 4)) является верным. Функция (pgrp x) имеет определение (defun pgrp (x)(rplacd (rplaca (cdr x) (cons (cadr x) (cddr x))) NIL))

Сохранение и последующий вызов функции называется:

Что означает запись (let ((a (cons x y))) a) :

Какой из результатов вызова функционала map-comp, аргументами которого выступают следующие функции и списки, является правильным: (defun map-comp (fn al vl) (cond (al (cons (fn (car al) (car vl)) (map-comp (cdr al) (cdr vl))) ) ) )

Каким образом в базовом Лиспе представляется строковая константа:

В каком порядке будет вычислено выражение (car (cdr (cons x y))):

В каких случаях правильно указан результат применения функции Assign, имеющей описание (DEFUN assign (x v al) (COND ((Null al) (CONS (CONS x v) Nil )) ((equal x (CAAR al))(CONS (CONS x v) (CDR al))) ((QUOTE T) (CONS (CAR al) (assign x v (CDR al)))) )) к следующим аргументам:

В каких случаях правильно указан результат выполнения функции member, имеющей определение (DEFUN member (x y) (COND ((null y) (QUOTE Nil)) ((equal x (CAR y)) (QUOTE T)) ((QUOTE T) (member x (CDR y)) )) при интерпретации выражений с указанными ниже аргументами:

Что такое форма:

Знак апострофа ' перед атомом означает

Общий принцип функционального программирования:

Что такое стек:

Что означает вызов файла Лисп-сисетмы с опцией clisp.exe @file.par

Что непременно делает интерпретатор до применения безымянной функции:

Чьи идеи легли в основу построения Лисп-систем:

Универсальная функция eval в базовом Лиспе – это:

В чем заключается действие описанной в лекциях функции "возобновление вычислений":

Каким образом организован доступ к результатам вычислений в Лисп-системе:

Каким будет результат вычисления формы (cons (car '(A B)) '((D))):

В каком случае правильно указано число вызовов функция Cons (входящей в состав определения sublis) при вызове функции sublis, имеющей определение (DEFUN sub2 (al z) (COND ((null al) z) ((equal (CAAR al) z) (CDAR al)) ((QUOTE T) (sub2 (CDR al) z)) ) )(DEFUN sublis (al y) (COND ((ATOM y) (sub2 al y)) ((QUOTE T)(CONS (sublis al (CAR y)) (sublis al (CDR y)) ) ))) при интерпретации выражений с указанными ниже аргументами:

В каком году появились первые прототипы современных Лисп-систем

Как устроен основной рабочий цикл диалога с Лисп-системой:

Какая из последовательностей форм позволяет посчитать факториал от N:

C помощью каких форм можно посчитать количество элементов 'i' в списке 'x':

Какая из форм, представленных ниже, описывает оператор присваивания set, где Alist – ассоциативный список системы:

Каким образом можно установить значение 1 глобальной переменной a:

Что означает термин "рецепт вычисления выражений":

Укажите формы, с помощью которых можно удвоить каждый элемент списка:

Какое из приведенных ниже выражений является примером правильного использования функционала map-el: (defun map-el (fn xl) (cond (xl (cons (funcall fn (car xl) ) (map-el fn (cdr xl)) ) ) ) )

Выражение (quote Atom) воспринимается интерпретатором как:

В каком случае интерпретатор выдаст сообщение об ошибке при вводе в его строку выражения > a1:

В каком случае правильно указано число вызовов функция Cons (входящей в состав определения sublis) при вызове функции sublis, имеющей определение (DEFUN sub2 (al z) (COND ((null al) z) ((equal (CAAR al) z) (CDAR al)) ((QUOTE T) (sub2 (CDR al) z)) ) )(DEFUN sublis (al y) (COND ((ATOM y) (sub2 al y)) ((QUOTE T)(CONS (sublis al (CAR y)) (sublis al (CDR y)) ) ))) при интерпретации выражений с указанными ниже аргументами:

В каком случае правильно указано количество обращений к последней ветви ((QUOTE T) (QUOTE NIL)) второго (вложенного) Cond функции Equal, имеющей определение (DEFUN equal (x y) (COND ((ATOM x) (COND ((ATOM y) (EQ x y)) ((QUOTE T) (QUOTE NIL)) ) ) ((equal (CAR x)(CAR y)) (equal (CDR x)(CDR y))) ((QUOTE T) (QUOTE NIL)) ) ) при интерпретации выражений с указанными ниже аргументами:

В каких случаях правильно указано число вызовов функции Cons (в определении append) при вызове функции append, имеющей определение (DEFUN append (x y) (COND ((null x) y) ((QUOTE T) (CONS (CAR x) (append (CDR x) y) ) )) ) , при интерпретации выражений с указанными ниже аргументами:

В каких случаях правильно указано число обращений к функции Cons при вызове функции subst, имеющей определение (DEFUN subst (x y z) (COND ((equal y z) x) ((ATOM z) z) ((QUOTE T)(CONS (subst x y (CAR z)) (subst x y (CDR z)) ) ) )), со следующими аргументами (порядок следования x y z):

Как правильно будет выглядеть эквивалент условного выражения языка Паскаль"if ((a + b) = 3) then print (a) else print (b)" на языке Лисп:

Какая из последовательностей действий на первом шаге рекурсии, выполняемых интерпретатором при вычислении выражения (Факториал 1) , где факториал: (DEFUN Факториал (LAMBDA (N) (COND ((= N 0 ) 1 ) (T ( * N (Факториал (- N 1 ))) ) ) ) ) является верной:

Укажите правильный результат вычисления формы (Cons '(A) Nil):

Являются ли эквивалентными записи точечной и списочной нотаций (A . B . C) и (A B C) соответственно:

Какое из значений можно получить, вычислив форму (cdr '( a (b c) d)):

Укажите результат вычисления выражения (CONS 20 'abc)

Процесс пошаговой интерпретации протекает до тех пор пока:

Какие аргументы имеет специальная функция Defun (порядок следования аргументов должен быть показан правильно):

Сообщение интерпретатора Step 3> означает:

Какое событие произойдет после введения в строку интерпретатора выражения (Cons 'a BC):

Какой стиль программирования преимущественно используется в Лисп-системах:

Общим принципом функционального программирования является:

Пары "переменная-значение" в элементарном Лиспе содержатся в:

Можно ли остановить процесс пошаговой интерпретации и если можно, то каким образом:

Какой из результатов вычисления формы (grp '((1 2) 3)) является верным. Функция (grp x) имеет определение (defun grp (x)(list (car x) (list (cadr x) (caddr x))))

В чем заключается различие между аргументами (и значениями) функционалов и функций:

Какие события происходят в системе при вычислении интерпретатором формы ((lambda (x y) (cons x y)) 'A 'B):

Основная структура данных языка Лисп:

Что такое псевдо-функция:

Какие из перечисленных представлений являются несписочным S-выражением:

Какой из результатов будет получен при вычисления формы (union '(a b c) '(1 a a)), функция union имеет следующее определение: (DEFUN UNION (X Y) (COND ((NULL X) Y) ((MEMBER (CAR X) Y) (UNION (CDR X) Y) ) (T (CONS (CAR X) (UNION (CDR X) Y))) )) ) ))

Для каких целей в Лисп-системе используют список свойств атома:

Предикат - это:

Какой результат будет получен при вычислении формы (cons '(car '(A B)) '(car '(C D))) :

Какой результат будет получен при интерпретации выражения (cddr (eval '(cdr '(a b c))))

Функцию можно задать:

Какая из приведенных форм позволяет обратить список 'L':

Какая из приведенных ниже форм позволяет находить максимальный элемент 'i' списка 'L':

Какие из приведенных ниже высказываний являются верными:

Какой из результатов вычисления формы (grp '(1 2 (3))) является верным. Функция (grp x) имеет определение (defun grp (x)(list (car x) (list (cadr x) (caddr x))))

Какой из результатов вычисления формы (rplaca '(e f) (car x)), где x – список (a b c d), является верным:

С помощью какой функции Clisp можно посмотреть список всех свойств атома:

Какой из результатов вычисления формы (rplacd (car x) (cddr x)), где x – список (a b c d), является верным:

Какая информация содержится в ячейке, входящей в состав древовидного списка, в котором содержаться S-выражения в памяти:

Откладывание представления формы с последующим ее вычислением, если понадобилось ее значение, называется:

Какое из представленных ниже выражений содержит ошибки:

Каким образом низкоуровневая подпрограмма может быть включена в Лисп-систему:

Что означает запись (let ((a (car x)) (b (car y))) a b):

Какой из результатов вычисления формы (union '(a b c) '(с a b)) будет получен (учесть порядок следования элементов итогового списка). Функция Union имеет следующее определение: (DEFUN UNION (X Y) (COND ((NULL X) Y) ((MEMBER (CAR X) Y) (UNION (CDR X) Y) ) (T (CONS (CAR X) (UNION (CDR X) Y))) )) ) ))

Отметьте, какая из приведенных ниже форм содержит ошибку:

Каким образом в базовом Лиспе изображается строковая константа:

Какой результат будет получен при интерпретации выражения (cadr (eval '(cdr '(a b c))))

Атом, введенный в строку без скобок, интерпретатор воспринимает как:

Роль предиката в Лиспе может выполнить:

В каком случае правильно указано количество обращений к последней ветви второго (вложенного) Cond функции Equal, имеющей определение (DEFUN equal (x y) (COND ((ATOM x) (COND ((ATOM y) (EQ x y)) ((QUOTE T) (QUOTE NIL)) ) ) ((equal (CAR x)(CAR y)) (equal (CDR x)(CDR y))) ((QUOTE T) (QUOTE NIL)) ) ) при интерпретации выражений с указанными ниже аргументами: