Эта книга является доступным и в то же время строгим описанием языка ЛИСП. Понятия языка ЛИСП сравниваются с аналогичными понятиями языков ФОРТРАН и АЛГОЛ. Многочисленные примеры и упражнения способствуют глубокому усвоению материала. Частично затрагиваются вопросы, связанные с построением транслятора.
Книга может служить хорошим учебным пособием для студентов, занимающихся языками программирования, она будет полезна программистам, впервые знакомящимся с языком ЛИСП.
Author(s): Маурер У.
Series: Математическое обеспечение ЭВМ
Publisher: Мир
Year: 1976
Language: Russian
Pages: 105
City: Москва
Предисловие редактора перевода 5
Предисловие 7
1. Стандартные функции 9
1.1. Арифметические выражения 9
1.2. S-выражения 10
1.3. Атомы 13
1.4. Символьные данные 14
1.5. Списки 15
1.6. Подсписки 17
1.7. Рекурсия 13
1.8. Использование ЛИСП-системы 20
1.9. Использование подвыражений 21
Упражнения 23
2. Построение функций 27
2.1. Функции в языке ЛИСП 27
2.2. Математическая логика в ЛИСПе 28
2.3. Параметры 30
2.4. Функции для обработки списков 32
2.5. Предикаты 34
2.6. Условные выражения 36
2.7. Рекурсивные функции 37
2.8. Рекурсивная обработка списков 39
2.9. Подсписки и рекурсия 41
2.10. Рекурсивные предикаты 43
2.11. Логические операторы 44
2.12. Точечная запись 46
2.13. Рекурсивные функции от двух списков 48
2.14. Функции для распознавания типов 50
Упражнения 52
3. PROG 57
3.1. PRQG-выражения в ЛИСПе 57
3.2. PROG-выражения для обработки списков 60
3.3. Построение списков 61
3.4. Действие функции 63
3.5. Предикаты, написанные при помощи PROG-выражений 65
3.6. Рекурсия в PROG 67
3.7. Объединение функций 69
3.8. Правило вычисления 71
3.9. Вычисляющая функция 73
3.10. Программы как данные 75
3.11. Ввод-вывод 77
Упражнения 80
4. Дополнительные возможности ЛИСПа 83
4.1. Дополнительные арифметические функции 83
4.2. Определение функций в программах 84
4.3. Компиляция 86
4.4. Машинно-зависимые средства ЛИСПа 88
4.5. Сборка мусора 90
4.6. Разные детали 92
Упражнения 95
Ответы к упражнениям, отмеченным звездочкой 97
Список литературы 102