Используя функцию сопоставления с образцом (первый способ) или макросы (второй способ), определить функцию на языке LISP, обеспечивающую символьное дифференцирование заданных функций (df/dx).
1) x^5 +2x-10
2) 2/3(lnx +1) - 2(lnx + 1)^(1/2) + 4/3.
3) x^5 + 5x -20
4) ln(x + (x^2 + 9)^(1/2)) - ln3/
Заранее благодарю!)
Добавлено через 52 минуты
имеется функция сопоставления с образцом.
| Lisp |
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
| (DEFUN CARLETTER (X) (if (not(numberp x)) (CAR (COERCE (STRING X) 'LIST ))))
(DEFUN CDRNAME (X) (if (not(numberp x)) (INTERN (COERCE (CDR (COERCE (STRING X) 'LIST )) 'STRING))))
; возвращает Т, если все элементы списка Т
(defun and-to-list (l) (setq res t)
(dolist (temp l res)
(setq res (and res temp))))
(DEFUN MATCH (P D)
(COND
((AND (NULL P)(NULL D) ) T) ; правило 1
((AND (NULL D) ; правило 2
(EQ (CAR P) '$)
(NULL (CDR P)))T)
((OR (NULL P)(NULL D))NIL)
((OR (EQUAL (CAR P) '?) ; правила 3 и 4
(EQUAL (CAR P) (CAR D)))
(MATCH (CDR P) (CDR D)))
((EQ (CAR P) '$) ; правила 5 и 6
(COND ((MATCH (CDR P) D) T)
((MATCH P (CDR D)) T)))
((AND (NOT (ATOM (CAR P))) ; правило 7 для сопоставления
(NOT (ATOM (CAR D))) ; списков, включающих подсписки
(MATCH (CAR P) (CAR D)))
(MATCH (CDR P) (CDR D)) )
((AND (ATOM (CAR P)) ; правило 8
(EQ (CARLETTER (CAR P)) #\?)
(MATCH (CDR P) (CDR D)))
(SET (CDRNAME (CAR P)) (CAR D)) T)
((AND (ATOM (CAR P)) ; правило 9
(EQ (CARLETTER (CAR P)) #\$))
(COND ((MATCH (CDR P) (CDR D))
(SET (CDRNAME (CAR P)) (LIST (CAR D))) T)
((MATCH P (CDR D))
(SET (CDRNAME (CAR P))
(CONS (CAR D) (EVAL (CDRNAME (CAR P))))) T)))
; правило 10 - для работы с ограничениями в виде предикатов для ?
((and (not (atom (car p)))
(eq (caar p) 'restrict)
(eq (cadar p) '?)
(and-to-list
(mapcar #'(lambda (pred) (funcall pred (car d))) (cddar p))))
(match (cdr p) (cdr d)))
; правило 11 - для работы с ограничениями при сохранении в переменные например (rectrict ?А integerp evenp)
((and (not (atom (car p)))
(not (atom d))
(eq (caar p) 'restrict)
(eq (carletter (cadar p)) #\?)
(and-to-list
(mapcar #'(lambda (pred) (funcall pred (car d))) (cddar p)))
(match (cdr p) (cdr d)))
(set (cdrname (cadar p)) (car d))
t)
)) |
|
(
