Доброго времени суток!

Есть у меня такое задание:
Дан список произвольной структуры, каждый атом встречается по одному разу. Написать функцию, которая для каждого атома определяет его уровень вложенности и строит соответствующий список:
(A ((B) C)) —> ((A 1) (B 3) (C 2))

Собственно, проблема в том, чтобы правильно построить функцию.
Как ни старался, дошел вот только до этого:

(DEFUN ATD (LST)
(
loop for i in LST collect (LIST (FINDATOM i) (DEPTH i))
)
)

(DEFUN DEPTH (X)
(COND
( (atom X) 0 )
( T
(
(lambda (e1 e2) (if (> e1 e2) e1 e2) )
( 1+ (DEPTH (car X) ) )
(DEPTH (cdr X) )
)
)
)
)

(DEFUN FINDATOM (LST)
(COND
( (atom LST) LST )
( T (FINDATOM (car LST)) )
)
)

Но, как уже ясно, это работает неправильно. Нужна помощь.

Цитата

---

bokunopico :

(defun f (lst &optional (n 0))

  (cond ((null lst) nil)

	((atom lst) `((,lst ,n)))

	(t (append (f (car lst) (1+ n)) (f (cdr lst) n)))))

 

CL-USER> (f '(a ((b) c)))

((A 1) (B 3) (C 2))

---

Большое спасибо!

А что такое &optional (n 0) ? Это таким образом обозначаются необязательные параметры?
И что значит выражение `((,lst ,n)) ?