База ответов ИНТУИТ

Введение в программирование на Лиспе

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

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

(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
обращений – 1, аргументы x- (1 2), y - A, z - (A B C)
обращений – 1, аргументы x- A, y - B, z - C
обращений – 4, аргументы x- (1 2), y - A, z - (B A C D)(Верный ответ)
обращений – 3, аргументы x- (A B), y - (С D), z - (A B C D)(Верный ответ)
Похожие вопросы
В каких случаях правильно указано число обращений к функции 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):

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

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

при интерпретации выражений с указанными ниже аргументами:

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

при интерпретации выражений с указанными ниже аргументами:

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

при интерпретации выражений с указанными ниже аргументами:

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

при интерпретации выражений с указанными ниже аргументами:

В каком случае правильно указано количество обращений к последней ветви второго (вложенного) 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 (в определении append) при вызове функции append, имеющей определение 
(DEFUN append (x y) (COND      ((null x) y)     ((QUOTE T) (CONS       (CAR x)        (append (CDR x) y)          )     ))      ) ,

при интерпретации выражений с указанными ниже аргументами: