В каком случае правильно указано число вызовов функция Cons (входящей...

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

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

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

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

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

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

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

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

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

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

(DEFUN append (x y) (COND      ((null x) y)     ((QUOTE T) (CONS       (CAR x)        (append (CDR x) y)          )     ))      ) ,

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

(DEFUN append (x y) (COND      ((null x) y)     ((QUOTE T) (CONS       (CAR x)        (append (CDR x) y)          )     ))      ) ,

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

(DEFUN append (x y) (COND      ((null x) y)     ((QUOTE T) (CONS       (CAR x)        (append (CDR x) 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))    ))

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