Ответы на вопросы из коллекции "Введение в программирование на Лиспе"

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

• (b c d a)
• (a b c a)
• (a b a)
• (a)

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

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

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

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

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

• с помощью атомов
• с помощью знака апострофа " ' " перед именем функции или переменной
• с помощью списков

Какой из результатов вычисления формы (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)) ))

• (1 2 3 4 5)
• (3)
• (1 2 4 5)

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

• 'комментарий
• (bye комментарий)
• (comment комментарий)
• ; комментарий

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

• (caar '((A) B) )
• (car '(A))
• (car 'A)
• (Caar '(A B C))

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

• (defun F(xl) (cond (T (cons (- (car xl) (car xl) ) (F (cdr xl))))))
• (defun F(xl) (cond ((Null xl) Nil) (T (cons (- (car xl) (car xl)) (F (cdr xl))))))
• (defun F(xl) (map-el (lambda (x) 0 ) xl)

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

• (defun F(x) (cond (((atom x) x) (T (F (car x)) )) )
• (defun f(x) (f (caar x)))
• (defun F(x) (cond (F (car x)) ((atom x) x) ))

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

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

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

• использовать инструкцию step после вызова (Step (cons 1 (cons 1 2)))
• использовать инструкцию continue после вызова функции (Step (cons 1 (cons 1 2)))
• использовать инструкцию step, а потом инструкцию (Step (cons 1 (cons 1 2)))

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

• (cdar '(a (b)))
• (caadr '(a (b c)))
• (caaaaaar '(a b с))

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

• (Atom '(x y))
• T
• (defun f(x) (car x))
• nil

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

• (map-el '(1 2 3 4) #'caddr)
• (map-el '(1 2 3 4))
• (map-el #'car '((1)(2)(3)(4)))
• (map-el caddr '(1 2 3 4))
• (map-el '+ '(1 2 3 4))

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

• сообщение об ошибке, т.к. '(nil) это список
• Nil, т.к. форма сведется к вычислению (EQ Nil T)
• T, т.к. предикат atom выдаст значении Nil
• Nil, т.к. форма (eq '(Nil) (atom '(T))) сведется к вычислению (eq '(Nil) Nil)
• T, т.к. '(Nil) и '(T) являются атомами

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

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

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

• (defun f(x y) (map-el (lambda (x y) (+ (car x) (car y)) x y)))
• (defun f(x y) (map-el (lambda (x1 y1) (/ (car x1) (car y1)))))
• (map-comp '#(car '(1 2 3)) '(1 2 3) '(4 5 6))
• (defun f3 (xl) (map-el (lambda (x)(+ 10 (* x x x))) xl))

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

• (eval f (x y)) и (apply (f x y))
• (eval '(f x y)) и (funcall f x y)
• (eval (f x y)) и (funcall f x y)
• (eval '(f 'x 'y)) и (funcall f x y)

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

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

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

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

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

• ((1 2) (3 4))
• ((1 2))
• (( 3 4))

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

• вызовом по ссылке
• вызовом по значению
• вызовом по необходимости
• вызовом по имени

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

• замена в последующих выражениях списков "x" и "y" на список "a"
• замена в выражениях (аргументах Let) повторяющегося подвыражения "(cons x y)" на "a" без воздействия на результат вычисления последующих форм
• присваивание локальной переменной "a" результата консолидации (cons x y)

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

• (map-comp #'cons '(1 2 3) '(1 (2 4) )), результат ((1 . 1) (2 2 4) (3))
• (map-comp #'car '(1 2 3) '(1 2 4)), результат ( 1 2 3)
• (map-comp #'cons '(1 2 3) '(1 (2 4))), результат ((1 . 1) (2 . 2) (3 . 4))
• (map-comp #'cons '(1) '(5 2)), результат (1 . (5 2))

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

• _слово1_слово2_…_словоN
• ;слово1 слово2 слово3
• " слово1 слово2 слово3"

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

• сначала будет получен результат cons, затем в порядке следования выполнены операция car и cdr .
• сначала будут получены значения x и y, затем в порядке следования выполнены операции cons, cdr и car
• сначала будет выполнена операция cons, a затем в порядке следования к списку (x . y) применены cdr и car .

В каких случаях правильно указан результат применения функции 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)))) )) к следующим аргументам:

• аргументы:x – 'av – 2al - ((a .4) (b . 3))Результат: ((b . 3)(a .2))
• аргументы: x – 'av – 2al - ((a .4) (b . 3))Результат: ((a . 2)(b . 3))
• аргументы:x – 'av – 3al – ((a . 2)(a . 4)(b . 2))Результат: ((a . 2)(a . 3)(a . 4)(b . 2))
• аргументы:x – 'av – 3al – ((a . 2)(a . 4)(b . 2))Результат: ((a . 3)(a . 4)(b . 2))
• аргументы:x – 'av – 3al - ((b .3) (c . 2))Результат: ((b . 3)(c . 2)(a . 3))

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

• x- (A B C), y - (A B C D), результат T
• x – (A B C), y – (A B (C D)), результат T
• x – (A (B)), y – (C (B) A), результат Nil
• y – (A (B) C) y – (C A (B) C A), результат T

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

• это любое выражение
• это выражение, которое может быть вычислено
• это список только в точечной нотации

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

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

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

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

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

• это набор данных, элементы которого обрабатываются по принципу "последний пришел, последний вышел"
• это набор данных, элементы которого обрабатываются по принципу "первый пришел, первый вышел"
• это набор данных, элементы которого обрабатываются по принципу "первый пришел, последний вышел"

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

• аргументом для вызова лисп-системы является строка file.par
• аргументами для вызова лисп-системы является строки файла file.par
• немедленную остановку системы после вызова

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

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

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

• Норберт Винер
• Джон Мак-Карти
• Джон Фон Нейман

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

• функция, строящая значения только рекурсивных форм
• вычисляющая только базисные функции
• функция, строящая значения вычислимых форм

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

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

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

• результаты доступны через специальный файл Лисп-системы
• результаты поступают в стандартный поток вывода
• результаты остаются в системе

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

• (A (D))
• (A . ((D . Nil) . Nil))
• (A 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)) ) ))) при интерпретации выражений с указанными ниже аргументами:

• вызовов 2, al- ((C . A) (D . B)), y – (C D)
• вызовов 4, al- ((C . A) (D . B)), y – (C D)
• вызовов 6, al- ((C . A) (D . B)), y – (C D)

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

• 1950
• 1962
• 1990

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

• чтение - печать – вычисление – печать
• вычисление – печать
• чтение-вычисление

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

• (defun F(N) (cond ((= N 0) 1) (T (* N (F (- N 1)))) ) )
• (defun F(N) (prog () (cond ((= N 0) (return 1))) (setq N (* N (F (- N 1)))) (return N) ))
• (defun F(N) (prog () (cond ((= N 0) (return i))) (setq i (* N (F (- N 1)))) (return i) ))

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

• (defun pr(x i) (cond ((Null x) i)(T (pr (cdr x) (+ i 1))) ))(defun pr0 (x) (pr x 0))
• (defun pr(x) (prog () (setq i 0) (setq L x) (cond ((Null L) (return i))) (setq L (cdr L)) (setq i (+ i 1)) ) )
• (defun pr (x) (prog () (setq i 0) (setq L x) A (cond ((Null L) (return i))) (setq L (cdr L)) (setq i (+ i 1)) (go A)) )

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

• (defun set (x y) (cons x y) Alist)
• (defun set (x y) (eval '(cons x y) Alist) )
• (defun set (x y) (assign x y Alist) )

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

• (Let a 1)
• (set a 1)
• (setq a 1)

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

• рецепт – это ссылка на параллельный процесс
• рецепт - это ссылка на обыкновенную вложенную функцию
• рецепт – это ссылка на существующую форму и связанный с ее исполнением ассоциативный список

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

• (defun F(xl) (cond (xl (cons (* 2 (car xl) ) (F (cdr xl))))))
• (defun F(xl) (map-el (lambda (x) (* 2 x) ) xl))
• (defun F(xl) (map-comp (lambda (x) (* 2 x)) xl))

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

• (map-el caddr '(1 2 3 4))
• (map-el #'caddr '(1 2 3 4))
• (map-el #'+ '(1 2 3 4))
• (map-el '+ '(1 2 3 4))

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

• константа
• переменная
• функция

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

• когда a1 является именем переменной, не имеющей значения
• когда a1 является именем функции
• когда 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)) ) ))) при интерпретации выражений с указанными ниже аргументами:

• вызовов 0, al- ((A .1) (B . 2)), y – (C . 3)
• вызовов 1, al- ((A .1) (B . 2)), y – (C . 3)
• вызовов 5, al- ((A .1) (B . 2)), y – (C . 3)

В каком случае правильно указано количество обращений к последней ветви ((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)) ) ) при интерпретации выражений с указанными ниже аргументами:

• обращений – 0, аргументы (a1 b1) и (a1 c1)
• обращений – 1, аргументы (a1 b1) и (a1 b1)
• обращений - 2, аргументы (a b) и ((c) (b))
• обращений –2, аргументы (a (b)) и (с d)

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

• вызовов – 2, x – (car (A)), y – (car (1 2))
• вызовов – 4, x – (car (quote (1 2))), y – (1 2 3)
• вызовов – 3, x – (cons 1 2), y – (1 2 2 3)

В каких случаях правильно указано число обращений к функции 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):

• обращений – 3, аргументы x- A, y - C, z - ((C) D)
• обращений – 3, аргументы x- (A B), y - (С), z - (A B D)
• обращений – 0, аргументы x- Nil, y - A, z - (A B C)
• обращений – 4, аргументы x- T, y - T, z - (B A C)

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

• (cond (( a + b) = 3) (print a)) (T (print b)))
• (cond ((= (+ a b) 3) print a) (else print b))
• (cond ((= (+ a b) 3) (print a)) (T (print b)))

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

• выбор определения функции { (COND ((= N 0 ) 1 ) (T ( * N (Факториал (- N 1 ))) ) }, выделение параметров {n = 1}, перебор предикатов, вычитание единицы {N=N-1} , вычисление первого предиката {((= N 0 ) 1 ), ответ 1}.
• выбор определения функции { (COND ((= N 0 ) 1 ) (T ( * N (Факториал (- N 1 ))) ) }, выделение параметров {n = 1}, перебор предикатов, выбор первой ветви {((= N 0 ) 1 )} , вычисление функции =, вычисление предиката (Nil 1), т.е. переход ко второй ветви, выбор второй ветви cond {(T ( * N (Факториал (- N 1 ))) ) }, вычисление этого предиката и переход ко второму шагу рекурсии
• выбор определения функции { (COND ((= N 0 ) 1 ) (T ( * N (Факториал (- N 1 ))) ) }, выделение параметров {n = 1}, немедленный выбор второй ветви cond {(T ( * N (Факториал (- N 1 ))) ) }, вычисление этого предиката и переход ко второму шагу рекурсии

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

• пара элементов (A . Nil)
• одноэлементный список ((A))
• s-выражение ((Nil . Nil) . A)

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

• нет, эквивалентными являются записи (A . (B . (C . Nil))) и (A B C)
• нет, эквивалентными является записи (A . (B . C)) и (A B C)
• да
• нет, эквивалентными является записи (A . B . C) и (A (B C))

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

• (a b c d)
• (b c)
• ((b c) d)

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

• сообщение об ошибке, т.к. число и атом не могут образовать пару
• (20 . abc)
• (abc . 20)

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

• не закончится пошаговая интерпретация одного из выражений
• не закончится пошаговая интерпретация всех выражений
• не будет набрана команда Next

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

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

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

• разбор подвыражения, находящегося на глубине 3 в дереве разбора
• номер строки после вызова функции (Step выражение)
• команда step была вызвана 3 раза

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

• появится сообщение об ошибке, что переменная "a" не имеет значения
• появится сообщение об ошибке, что переменная "BC" не имеет значения
• система выдаст правильный результат

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

• декларативный
• функциональный
• императивный

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

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

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

• ассоциативном списке
• базе данных переменных (группа временных файлов)
• хэш-таблице

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

• процесс остановить нельзя (окончание после разбора последнего выражения)
• набором команды команда Next
• набором команды Error

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

• (1 (2 (3)))
• ((1)(2)(3)(nil))
• ((1 2) (3 nil))
• ((1 2) 3)

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

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

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

• в системе создается функциональный объект с именем Lambda
• переменная X связывается со значением A, Y – с B, выполняется однократное вычисление безымянной функции, строящей пару (A . B)
• данная форма останется доступной в системе с возможностью многократного ее вызова с различными значениями переменных X и Y

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

• список
• таблица
• атом

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

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

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

• (A)
• '(A)
• (A . B)

Какой из результатов будет получен при вычисления формы (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))) )) ) ))

• (1 a b c)
• (с a a b 1)
• (b с 1 a a)
• (a с b 1)

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

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

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

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

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

• сообщение об ошибке
• (A . C)
• ((car '(A B)) . (car '(B C)))

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

• Сообщение об ошибке
• b
• Nil
• (b с)

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

• алгоритмом
• неформализованным текстом
• процедурой

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

• (defun rev(L) (prog (x y) A (cond ((Null L) (return x))) (setq y (cdr L)) (cond ((atom y) (go B))) (setq y (rev y)) B (setq x (cons y x)) (setq L (cdr L)) (go A) ) )
• (defun rev(L) (prog () A (cond ((Null L) (return x))) (set 'y (cdr L)) (cond ((atom y) (goto B))) (set'y (rev y)) B (set 'x (cons y x)) (set 'L (cdr L)) (go A) ) )
• (prog rev (L x y) A (cond ((Null L) (return x))) (setq y (cdr L)) (cond ((atom y) (go B))) (setq y (rev y)) B (setq x (cons y x)) (setq L (cdr L)) (go A) ) )

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

• (prog maxm (i L) (setq i 0) (setq L x) A (cond ((Null L) (return i)) ) (cond ((> (car L) i) (setq i (car L))) ) (setq L (cdr L)) (go A) )
• (defun maxm (x) ( prog (i L) (setq i 0) (setq L x) A (cond ((Null L) (return i)) ) (cond ((> (car L) i) (setq i (car L))) ) (setq L (cdr L)) (go A) ) )
• (defun maxm (x) ( prog (i L) A (cond ((Null L) (return i)) ) (cond ((> (car L) i) (set i (car L))) ) (set L (cdr L)) (Loop A) ) )

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

• Prog-форма может быть рекурсивной
• метки в prog-форма реализуются с помощью специальной функции label
• выход из prog-формы происходит при вызове функции return

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

• (1 2 (3))
• ((1)(2)(3))
• (1 2 3)
• (1 (2 (3)))

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

• (a e f)
• (a b c d e f)
• (a d e)
• (a b c d)
• (a f)

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

• (symbol-value )
• (symbol-plist)
• (symbol-function )

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

• (a b c a)
• (a с d)
• (a)
• (a b a)

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

• список, с адресом на описательную структуру и декремент
• атом, с адресом описательной структуры и адрес декремента
• список (S-выражение) с описательной структурой

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

• вызовом по ссылке
• системным вызовом
• вызовом по необходимости
• вызовом по событию

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

• (((1 . 2) . (3 . 4 . 5))
• (1 . (2 3 . (4 5)))
• (1 2 3 4 5)

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

• создание низкоуровневой программы в Лисп-системе пользователем
• создание низкоуровневой программы в другой системе и ее перенос в Лисп систему
• создание низкоуровневой программы возможно вне систем программирования, но никак не внутри системы

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

• замена в последующих выражениях повторяющихся подвыражений "a" и "b" на "(car x)" и "(car y)"
• замена в выражениях (аргументах Let) повторяющихся подвыражений "(car x)" и "(car y)" на "a" и "b"
• замена в последующих выражениях повторяющихся голов " x" и "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))) )) ) ))

• (a b с)
• (с a b)
• (a b a b)
• (a с b)

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

• (defun f(x y) (map-el #'(lambda (x1) (cons x1 y)) x))
• (map-comp #'car '((1)( 2)(3)) '((4) (5) (6)))
• (defun f(x y) (map-comp #'(lambda (x1 y1) (* (car x1) (car y1))) x y))

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

• "строка
• 'строка
• "строка"

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

• (c)
• (b с)
• (a)
• Сообщение об ошибке
• c

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

• переменную
• функцию
• константу

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

• функция, имеющая область значений - множество комплексных чисел
• функция, имеющая выходные значения T и 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)) ) ) при интерпретации выражений с указанными ниже аргументами:

• обращений –0, аргументы (a (b)) и (с d)
• обращений -3, аргументы (a b) и (c b)
• обращений – 1, аргументы (a b) и (a c)
• обращений – 0, аргументы (a b) и (c d)