Добрый день! Не могу сделать несколько заданий из лабораторной работы по LISP на тему "Рекурсия"!

@konstant · Регистрация: 22.10.2012

Студворк — интернет-сервис помощи студентам

Заранее спасибо!

1)
Дана функция
>(defun deriv (f var)
(cond ((and (atom f)
(equal f var)) 1)
((atom f) 0)
((eq (first f) ‘+)
(list ‘+
(derive (nth 1 f) var)
(derive (nth 2 f) var)))))
Требуется определить назначение функции и привести результаты
ее применения.

2)
Дана функция
>(defun mystery (x)
(cond ((null x) 1)
((atom x) 0)
(t (max (+ (mystery (car x)) 1)
(mystery (cdr x)))))
Требуется определить назначение функции и привести результаты
ее применения.

3)
Определить функцию LEGALP, которая возвращает true, если в ка-
честве аргумента выступает правильное арифметическое выраже-
ние. Например,
>(LEGALP 4)
T
>(LEGALP ‘((2*2)-3))
T
>(LEGALP NIL)
NIL
>(LEGALP ‘(A B C D))
NIL

@Catstail · 13.11.2013, 12:11

Сообщение от konstant

Не могу сделать несколько заданий

- а теги расставить можешь?

@konstant · 13.11.2013, 12:16 **[ТС]**

Сообщение от Catstail

- а теги расставить можешь?

Объясните что вы имеете ввиду! К сожаления не понимаю что такое "Теги".

@Catstail · 13.11.2013, 12:17

1) это небрежно написанная функция примитивного символьного дифференцирования суммы:

Lisp

(defun deriv (f var)
   (cond ((and (atom f) (equal f var)) 1)
         ((atom f) 0)
         ((eq (car f) '+)
              (list '+
                    (deriv (nth 1 f) var)
                    (deriv (nth 2 f) var)))))
 
==> deriv
 
(deriv '(+ x (+ x 1)) 'x)
 
==> (+ 1 (+ 1 0))
 
(deriv 5 'x)
 
==> 0
 
(deriv 'x 'x)
 
==> 1

@konstant · 13.11.2013, 12:19 **[ТС]**

Сообщение от Catstail

1) это небрежно написанная функция примитивного символьного дифференцирования суммы:

Lisp

(defun deriv (f var)
   (cond ((and (atom f) (equal f var)) 1)
         ((atom f) 0)
         ((eq (car f) '+)
              (list '+
                    (deriv (nth 1 f) var)
                    (deriv (nth 2 f) var)))))
 
==> deriv
 
(deriv '(+ x (+ x 1)) 'x)
 
==> (+ 1 (+ 1 0))
 
(deriv 5 'x)
 
==> 0
 
(deriv 'x 'x)
 
==> 1

Не могли бы вы простыми словами объяснить, что делает эта функция?!

@Catstail · 13.11.2013, 12:22

2) У записи не хватает скобки... Ты уверен, что верно записал определение? Эта mystery для всех списков тупо возвращает 1:

Lisp

(defun mystery (x)
   (cond ((null x) 1)
         ((atom x) 0)
         (t (max (+ (mystery (car x)) 1)
                    (mystery (cdr x))))))
 
(mystery '(-1 -1 -1))
 
==> 1

@konstant · 13.11.2013, 12:24 **[ТС]**

Сообщение от Catstail

2) У записи не хватает скобки... Ты уверен, что верно записал определение? Эта mystery для всех списков тупо возвращает 1:

Lisp

(defun mystery (x)
   (cond ((null x) 1)
         ((atom x) 0)
         (t (max (+ (mystery (car x)) 1)
                    (mystery (cdr x))))))
 
(mystery '(-1 -1 -1))
 
==> 1

ну должно быть все верно, это задание из учебника

@Catstail · 13.11.2013, 12:25

Lisp

(defun deriv (f var)
   (cond ((and (atom f) (equal f var)) 1) ;; если f совпадает с переменной, то производная =1
         ((atom f) 0)                             ;; производная константы = 0
         ((eq (car f) '+)    ;; производная суммы
              (list '+  ;; равна сумме
                    (deriv (nth 1 f) var)  ;; производной первого слагаемого
                    (deriv (nth 2 f) var))))) ;; и производной второго слагаемого

Добавлено через 24 секунды

Сообщение от konstant

это задание из учебника

- из какого?

@konstant · 13.11.2013, 12:32 **[ТС]**

Сообщение от Catstail

Lisp

(defun deriv (f var)
   (cond ((and (atom f) (equal f var)) 1) ;; если f совпадает с переменной, то производная =1
         ((atom f) 0)                             ;; производная константы = 0
         ((eq (car f) '+)    ;; производная суммы
              (list '+  ;; равна сумме
                    (deriv (nth 1 f) var)  ;; производной первого слагаемого
                    (deriv (nth 2 f) var))))) ;; и производной второго слагаемого

Добавлено через 24 секунды
- из какого?

Спасибо большое, теперь понятно !

Добавлено через 1 минуту

Сообщение от Catstail

Lisp

(defun deriv (f var)
   (cond ((and (atom f) (equal f var)) 1) ;; если f совпадает с переменной, то производная =1
         ((atom f) 0)                             ;; производная константы = 0
         ((eq (car f) '+)    ;; производная суммы
              (list '+  ;; равна сумме
                    (deriv (nth 1 f) var)  ;; производной первого слагаемого
                    (deriv (nth 2 f) var))))) ;; и производной второго слагаемого

Добавлено через 24 секунды
- из какого?

ФУНКЦИОНАЛЬНОЕ И ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ ,Лабораторный практикум C.Е. ЧЕСНОКОВ

@Catstail · 13.11.2013, 12:39

3) Что-то вроде:

Lisp

(defun legalp (v)
  (cond ((null v) t)
        ((numberp v) t)
        ((and (numberp (car v)) (null (cdr v))) t)
        ((and (numberp (car v)) (member (cadr v) '(+ - * /))) (legalp (cddr v)))
        ((and (listp (car v)) (member (cadr v) '(+ - * /))) (and (legalp (car v)) (legalp (cddr v))))))
 
==> legalp
 
(LEGALP '((2 * 2) - 3))
 
==> T
 
(LEGALP 5)
 
==> T
 
(LEGALP '(a b c))
 
==> NIL

@konstant · 13.11.2013, 12:51 **[ТС]**

Сообщение от Catstail

3) Что-то вроде:

Lisp

(defun legalp (v)
  (cond ((null v) t)
        ((numberp v) t)
        ((and (numberp (car v)) (null (cdr v))) t)
        ((and (numberp (car v)) (member (cadr v) '(+ - * /))) (legalp (cddr v)))
        ((and (listp (car v)) (member (cadr v) '(+ - * /))) (and (legalp (car v)) (legalp (cddr v))))))
 
==> legalp
 
(LEGALP '((2 * 2) - 3))
 
==> T
 
(LEGALP 5)
 
==> T
 
(LEGALP '(a b c))
 
==> NIL

Спасибо, век вас не забуду)

Добавлено через 1 минуту

Сообщение от Catstail

3) Что-то вроде:

Lisp

(defun legalp (v)
  (cond ((null v) t)
        ((numberp v) t)
        ((and (numberp (car v)) (null (cdr v))) t)
        ((and (numberp (car v)) (member (cadr v) '(+ - * /))) (legalp (cddr v)))
        ((and (listp (car v)) (member (cadr v) '(+ - * /))) (and (legalp (car v)) (legalp (cddr v))))))
 
==> legalp
 
(LEGALP '((2 * 2) - 3))
 
==> T
 
(LEGALP 5)
 
==> T
 
(LEGALP '(a b c))
 
==> NIL

Спасибо, не знаю как и отблагодарить вас)

@konstant 0 / 0 / 0 Регистрация: 22.10.2012 Сообщений: 18
		1
	Добрый день! Не могу сделать несколько заданий из лабораторной работы по LISP на тему "Рекурсия"! 13.11.2013, 11:45. Показов 1494. Ответов 10 Метки нет (Все метки) Заранее спасибо! 1) Дана функция >(defun deriv (f var) (cond ((and (atom f) (equal f var)) 1) ((atom f) 0) ((eq (first f) ‘+) (list ‘+ (derive (nth 1 f) var) (derive (nth 2 f) var))))) Требуется определить назначение функции и привести результаты ее применения. 2) Дана функция >(defun mystery (x) (cond ((null x) 1) ((atom x) 0) (t (max (+ (mystery (car x)) 1) (mystery (cdr x))))) Требуется определить назначение функции и привести результаты ее применения. 3) Определить функцию LEGALP, которая возвращает true, если в ка- честве аргумента выступает правильное арифметическое выраже- ние. Например, >(LEGALP 4) T >(LEGALP ‘((2*2)-3)) T >(LEGALP NIL) NIL >(LEGALP ‘(A B C D)) NIL 0

@Catstail Модератор 35616 / 19509 / 4079 Регистрация: 12.02.2012 Сообщений: 32,552 Записей в блоге: 13
	13.11.2013, 12:11	2
	Сообщение от konstant Не могу сделать несколько заданий - а теги расставить можешь? 0

@konstant 0 / 0 / 0 Регистрация: 22.10.2012 Сообщений: 18
	13.11.2013, 12:16 [ТС]	3
	Сообщение от Catstail - а теги расставить можешь? Объясните что вы имеете ввиду! К сожаления не понимаю что такое "Теги". 0