Normalize

@Artem7693 · Регистрация: 29.11.2017

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

Функции для normalize : +-normalize , sqrt-normalize , sin-normalize. Каждой функции передается
выражение, представляющее корректный вызов соответствующей функции. Нормализация будет заключаться
в унификации количества аргументов функции и нормализации аргументов:
(+-normalize expr) : Если expr — вызов функции + без аргументов, то нормализованным выражением
должен быть ноль — 0 .
Если expr — вызов
(+ e1)
(вызов функции с одним аргументом), то нормализованным выражением должно являться e1' —
нормализованное выражение, полученное из e1 .
Если expr — вызов
(+ e1 e2 ... e3 e4 e5)
то он должен быть преобразован к виду
(+ e1' (+ e2' ... (+ e3' (+ e4' e5'))...))
где ei' обозначает нормализованное выражение, полученное из ei . То есть, после нормализации
любой вызов функции + должен иметь два аргумента.

Lisp

(defun normalize (expr)
  (cond 
    ((atom expr) expr)  
    ((+? expr) (+-normalize expr))
    ((-? expr) (--normalize expr))
    ((*? expr) (*-normalize expr))
    ((/? expr) (/-normalize expr))
    ((expt? expr) (expt-normalize expr))
    ((sqrt? expr) (sqrt-normalize expr))
    ((sin? expr) (sin-normalize expr))
    ((cos? expr) (cos-normalize expr))
    ((tan? expr) (tan-normalize expr))
    ((asin? expr) (asin-normalize expr))
    ((acos? expr) (acos-normalize expr))
    ((atan? expr) (atan-normalize expr))
    ((exp? expr) (exp-normalize expr))
    ((log? expr) (log-normalize expr))
    (T (error 'on-unknown-expression))))

Lisp

(defmacro result-test (fun num test-expr)
  `(progn
    (format T "function: ~A ~30,2Ttest: ~A ~Tresult: ~A~%" 
            ',fun ,num
            (handler-case 
               ,test-expr
             (T () NIL)))))

ТЕСТЫ:

Lisp

(result-test +-normalize 1
  (equal (normalize '(+)) 0)) 
 
(result-test +-normalize 2
  (equal (normalize '(+ 1 2 3 4 5 6))
         '(+ 1 (+ 2 (+ 3 (+ 4 (+ 5 6)))))))

@vvs79 · 05.12.2019, 12:52

Так никто и не ответит ? (тоже интересует эта тема).

@Catstail · 06.12.2019, 09:35

Lisp

(defun +-normalize (expression)
  (cond ((atom expression) expression)
        ((eq '+ (car expression))
         (cond ((null (cdddr expression))
                (cons '+ (list (cadr expression) (caddr expression))))
               (t (cons '+ (list (+-normalize (cadr expression))
                           (+-normalize (cons '+ (cddr expression))))))))
        (t expression)))  
 
==> +-NORMALIZE
 
(+-normalize '(+ 1 (+ 2 3) 4 5 6))
==> (+ 1 (+ (+ 2 3) (+ 4 (+ 5 6))))

@vvs79 · 06.12.2019, 11:39

А короче имеется возможность сделать без проверок, с учётом использования функций +?, make+.
(написано "Определение каждой функции — от 2-х до 5-ти строк кода.")

@Catstail · 06.12.2019, 11:53

vvs79, что значит "короче"? Если нормализуется произвольное выражение, то в целом будет только длиннее. И мне, в общем, безразлично, что там "написано".

@vvs79 · 06.12.2019, 13:00

Спасибо.

Добавлено через 44 минуты
А как сделать, чтобы в случае неудачи возвращала 0, а не NIL ?

@Catstail · 09.12.2019, 09:55

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

чтобы в случае неудачи

- какой неудачи?

@vvs79 · 09.12.2019, 12:05

Неправильно выразился. Например (normalize '(+)) возвращает (+ NIL NIL), а надо чтобы возвращал 0.
"Если expr — вызов функции + без аргументов, то нормализованным выражением должен быть ноль — 0".

@Catstail · 09.12.2019, 12:25

Lisp

(defun +-normalize (expression)
  (cond ((atom expression) expression)
        ((eq '+ (car expression))
         (cond ((null (cdr expression)) 0)
               ((null (cdddr expression))
                   (cons '+ (list (cadr expression) (caddr expression))))
               (t (cons '+ (list (+-normalize (cadr expression))
                           (+-normalize (cons '+ (cddr expression))))))))
        (t expression)))  
 
==> +-NORMALIZE
 
(+-normalize '(+ 1 (+ 2 3) 4 5 6))
==> (+ 1 (+ (+ 2 3) (+ 4 (+ 5 6))))
 
(+-normalize '(+))
==> 0

@vvs79 · 09.12.2019, 15:39

А вот тут:
(+-normalize '(+ 1 (+ 2 3) 4 5 6))
==> (+ 1 (+ (+ 2 3) (+ 4 (+ 5 6))))
нед должно быть просто
(+-normalize '(+ 1 (+ 2 3) 4 5 6))
==> (+ 1 (+ 2 3) (+ 4 (+ 5 6)))) ?

@Catstail · 09.12.2019, 16:20

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

нед должно быть просто
(+-normalize '(+ 1 (+ 2 3) 4 5 6))
==> (+ 1 (+ 2 3) (+ 4 (+ 5 6)))) ?

- не должно. Суть нормализации в том, что каждое сложение становится бинарной операцией. А у тебя у первого плюса три операнда

@vvs79 1 / 1 / 0 Регистрация: 28.03.2017 Сообщений: 168
	09.12.2019, 15:39	10
	А вот тут: (+-normalize '(+ 1 (+ 2 3) 4 5 6)) ==> (+ 1 (+ (+ 2 3) (+ 4 (+ 5 6)))) нед должно быть просто (+-normalize '(+ 1 (+ 2 3) 4 5 6)) ==> (+ 1 (+ 2 3) (+ 4 (+ 5 6)))) ? 0

@vvs79 1 / 1 / 0 Регистрация: 28.03.2017 Сообщений: 168
	05.12.2019, 12:52	2
	Так никто и не ответит ? (тоже интересует эта тема). 0

@vvs79 1 / 1 / 0 Регистрация: 28.03.2017 Сообщений: 168
	06.12.2019, 11:39	4
	А короче имеется возможность сделать без проверок, с учётом использования функций +?, make+. (написано "Определение каждой функции — от 2-х до 5-ти строк кода.") 0

@Catstail Модератор 37302 / 20736 / 4272 Регистрация: 12.02.2012 Сообщений: 34,127 Записей в блоге: 14
	06.12.2019, 11:53	5
	vvs79, что значит "короче"? Если нормализуется произвольное выражение, то в целом будет только длиннее. И мне, в общем, безразлично, что там "написано". 0

@vvs79 1 / 1 / 0 Регистрация: 28.03.2017 Сообщений: 168
	06.12.2019, 13:00	6
	Спасибо. Добавлено через 44 минуты А как сделать, чтобы в случае неудачи возвращала 0, а не NIL ? 0

@Catstail Модератор 37302 / 20736 / 4272 Регистрация: 12.02.2012 Сообщений: 34,127 Записей в блоге: 14
	09.12.2019, 09:55	7
	Сообщение от vvs79 чтобы в случае неудачи - какой неудачи? 0

@vvs79 1 / 1 / 0 Регистрация: 28.03.2017 Сообщений: 168
	09.12.2019, 12:05	8
	Неправильно выразился. Например (normalize '(+)) возвращает (+ NIL NIL), а надо чтобы возвращал 0. "Если expr — вызов функции + без аргументов, то нормализованным выражением должен быть ноль — 0". 0

@Catstail Модератор 37302 / 20736 / 4272 Регистрация: 12.02.2012 Сообщений: 34,127 Записей в блоге: 14
	09.12.2019, 16:20	11
	Сообщение от vvs79 нед должно быть просто (+-normalize '(+ 1 (+ 2 3) 4 5 6)) ==> (+ 1 (+ 2 3) (+ 4 (+ 5 6)))) ? - не должно. Суть нормализации в том, что каждое сложение становится бинарной операцией. А у тебя у первого плюса три операнда 0