ЛИСП

— списковый язык программирования. Исходная информация записывается в виде списков. Напр., TIMES, ONE, (plus, X, А), У.

Программа на языке Л. представляет собой рекурсивную функцию символьных выражений, которая строится аналогично арифм. ф-циям из элементарных с помощью условного оператора и оператора суперпозиции. Условный оператор имеет вид . Результатом его выполнения будет выражение если истинно. Имеется пять элементарных ф-ций: — булева функция, определяющая, является ли исследуемое выражение атомом — неделимой единицей информации; булева ф-ция, устанавливающая равенство двух атомов; функции, выделяющие из списка первый и остальные элементы соответственно; cons — соединение двух списков в один. Кроме элементарных, имеется ряд более сложных ф-ций, которые строятся из них, напр., подстановка в выражение z вместо всех вхождений символа у выражения запишется в виде следующей ф-ции: .

Здесь T означает «истина». Эта запись представляет собой пример программы на языке Л. Л. получил дальнейшее разиитие в ряде других языков.

Лит.: Ефимова М. Н. Алгоритмические языки. М., 1965 [библиогр. с. 86]; McCarthy J. Recursive functions of symbolic expressions and their computation by machine, part. 1. «Communications of the Associations for Computing Machinery», 1960, v. 3, N. 4.

Т. А. Гринченко.