его логическая и операционная семантика .......................................................... 27
4.1. Структура программы на языке CCP ............................................................................ 27
4.2. Система типов данных ................................................................................................... 28
4.3. Логическая и операционная семантика языка CCP .................................................... 31
4.4. Семантика вызова предиката ........................................................................................ 32
4.5. Оператор суперпозиции ................................................................................................. 33
4.6. Параллельный оператор ................................................................................................. 34
4.7. Условный оператор ........................................................................................................ 34
4.8. Конструктор предиката .................................................................................................. 35
4.9. Конструктор массива ..................................................................................................... 36
4.10. Программа ..................................................................................................................... 37
4.11. Рекурсивные определения предикатов ....................................................................... 39
4.12. Однозначность предикатов .......................................................................................... 45
Список литературы ................................................................................................................. 46