В каком случае правильно указано количество обращений к последней ветви...

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

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

Похожие вопросы

(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))       )  )

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

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

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

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

 (DEFUN member (x y) (COND      ((null y) (QUOTE Nil))     ((equal x (CAR y)) (QUOTE T))     ((QUOTE T) (member x (CDR y)) )    ))

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

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

(DEFUN member (x y) (COND      ((null y) (QUOTE Nil))     ((equal x (CAR y)) (QUOTE T))     ((QUOTE T) (member x (CDR y)) ) )    )

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

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

(DEFUN member (x y) (COND      ((null y) (QUOTE Nil))     ((equal x (CAR y)) (QUOTE T))     ((QUOTE T) (member x (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))    ) )))

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

 (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))    ) )))

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

(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 при вызове функции 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):