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

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

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

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

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

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

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

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

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

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

к следующим аргументам: