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

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

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

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

x – (A B C), y – (A B (C D)), результат Nil(Верный ответ)

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

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

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

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

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

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