Использование списков

Введем некоторые определения. Символ - это набор букв, цифр и специальных знаков. Кроме символов будем использовать: числа, Т – истина, Nil – ложь или пустой список. Будем понимать под константами – числа, Т, Nil. Будем понимать под атомами символы и числа. Назовем списком упорядоченную последовательность, элементами которой являются атомы или другие списки (подсписки). Будем заключать списки в круглые скобки, а элементы списка разделять пробелами.

Формально список можно определить следующим образом:

Список:- Nil / (голова Ç хвост)

[Список либо пуст, либо это пара голова и хвост]

Голова:- атом / список

[рекурсия в глубину]

Хвост:- список

[рекурсия в ширину]

Другой вариант определения:

Список:- Nil / (элемент элемент …)