Cтраница 4
Базовым блоком в структуре данных языка LISP является символическое выражение. Простое символическое выражение использует атомарные символы, или атомы - строки буквенно-цифровых символов, которые начинаются с буквы, например WOMBAT. Допустимая длина строки варьируется в зависимости от версии исполняющей системы. Во внутренней структуре данных атом представлен ячейкой памяти. Отдельным атомом является символ Т, которым представляется константа True - истина. Другой специальный атом, NIL, представляет, с одной стороны, константу False - ложь, а с другой - пустой список. [46]
Символическое выражение силлогизма легко для понимания. [47]
Было предложено символическое выражение таких чистот ( например, Лайт, 1961) через символ N, так, например, 4N равнозначно чистоте 99 99 мол. [48]
Нужно располагать средствами доступа к текущим значениям переменных ( или формальных параметров), таких как X и Y. Вычисление каждого символического выражения выполняется в контексте формирования переменных. Нужно располагать средствами сохранения и восстановления этого контекста при вычислении значений сложных символических выражений, т.е. вычисления и комбинирования значений содержащихся в них подвыражений. [49]
По лемме 7.2.2 длина интервалов / стремится к нулю при п - оо. Это показывает, что символическое выражение для Т ( х) в точности такое же, как ег, с которого мы начали. Следовательно, Т есть сюръективное отображение. [50]