Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Компьютерное моделирование логических процессов. Архитектура и языки решателя задач
Глава 19. Компилятор ГЕНОЛОГа
Предыдущая страница
Следующая страница
Table of contents
Введение
Глава 1. Общие замечания о логических процессах и их моделировании
Глава 2. Логический язык решателя задач
+
Глава 3. Представление задач в решателе
+
Глава 4. Общая схема функционирования решателя
+
Глава 5. Алгоритмический язык ЛОС
+
Глава 6. Библиотека вспомогательных операторов ЛОСа
+
Глава 7. Редактор программ ЛОСа
+
Глава 8. Отладчик ЛОСа
+
Глава 9. Примерыи упражнения по программированию на ЛОСе
+
Глава 10. Язык для записи приемов ГЕНОЛОГ
+
Глава 11. Редактор приемов ГЕНОЛОГа
+
Глава 12. Примерызаписи приемов на ГЕНОЛОГе и упражнения
+
Глава 13. Программыобщего интерфейса системы
+
Глава 14. Программа редактора программ
Глава 15. Программа отладчика ЛОСа
+
Глава 16. Интерпретатор ЛОСа
+
Глава 17. Программыпросмотра списков задач
+
Глава 18. Программа редактора приемов
+
Глава 19. Компилятор ГЕНОЛОГа
-
19.1. Общая архитектура компилятора
19.2. Схема компиляции приема сканирования задачи
19.3. Схема компиляции приема пакетного нормализатора
19.4. Схема компиляции приема проверочного оператора
19.5. Схема компиляции приема синтезатора
19.6. Схема компиляции приема анализатора
19.7. Схема компиляции приема оператора фильтра
19.8. Компиляция приемов вычислительных пакетов
19.9. Информационные элементы программного блока
19.10. Создание идентифицирующей части программы
19.11. Компиляция операторных выражений
19.12. Компиляция теоремных термов
19.13. Предварительная обработка установок на нормализацию
19.14. Компиляция фильтров для приема сканирования задачи
19.15. Процедура "фильтр"
19.16. Процедура "вставкафильтра"
19.17. Компиляция фильтров и операторных выражений со связанными переменными
19.18. Компиляция преобразующей части приема сканирования задачи
19.19. Завершающая обработка программы
19.20. Запись программы приема в блок программ
19.21. Развитие компилятора ГЕНОЛОГа
Список литературы
Данный блок поддерживает скрол*