|
-
Синтаксис
базовой модели FALGOL. Понятие контекста.
|
|
-
Архитектура
и компоненты FALGOL-машины.
|
|
-
Операционная
семантика FALGOL.
|
|
-
Метасемантика
FALGOL.
|
|
-
Модель
Falgol со статическим связыванием
(распроцедуривание, блоки, функции,
рекурсивные процедуры).
|
|
-
Трансформационная
семантика. Примеры правил редукции
и конверсии.
|
|
-
Расширения
языка Falgol. Объектные и функциональные
константы.
|
|
-
Представление
в языке Falgol конструкций известных
языков императивного программирования.
|
|
-
Архитектура
Falgol-процессора с внутренним языком
высокого уровня. Концепция смешанных
вычислений.
|
|
-
Внутреннее
представление термов в Falgol-процессоре,
индексы вхождения. Функция дефицита.
|
|
-
Теги
и метатеги в представлении термов в
Falgol-процессоре.
|
|
-
Стек
переменных, работа с блоками, функциями
и рекурсивными процедурами.
|
|
-
Принцип
ассоциативного управления работой
процессора. Рабочий цикл.
|
|
-
Сборка
мусора в Falgol-процессоре.
|
|
-
Понятие
направленного отношения. Арность и
свойства НО. Представление различных
данных как НО.
|
|
-
Языки
схем НО. Синтаксис. Интерпретация.
Оператор рекурсии.
|
|
-
Операции
композиции НО. Основные сигнатуры
языков НО.
|
|
-
Комбинаторные
отношения. Базисный набор комбинаторных
констант.
|
|
-
Сильные
реляционные включение и эквивалентность
схем НО. Примеры аксиом исчисления
сильной эквивалентности схем НО.
|
|
-
Определение
и графическое представление сети в
заданном базисе. Операции последовательной
и параллельной композиции сетей.
Подстановка сети вместо элемента в
другую сеть.
|
|
-
Сетевые
КС-грамматики как средство задания
сетевых языков.
|
|
-
Сетевая
интерпретация рекурсивных схем НО.
|
|
-
Реляционная
интерпретация сетевых языков.
|
|
-
Сетевое
представление свойств НО. Вычисление
НО в конструктивных базисах. Процесс
вычислений как генерация множества
сетей и их последующей редукции.
|
|
-
Сведение
задачи доказательства общезначимости
формул языка исчислений предикатов
первого порядка к доказательству
сильной эквивалентности сетевого
языка арности и множества, содержащего
пустую сеть.
|
|
-
Правило
сетевой резолюции. Метод резолюций
доказательства общезначимости формул
языка исчислений предикатов первого
порядка.
|
|
-
Представление
предикатных символов сортами элементов
нетерминального базиса. Процесс
логического вывода как процесс
вычисления НО.
|
|
-
Общая
характеристика и назначение языка
функционально-логического
программирования FLOGOL.
|
|
-
Диаграммы
Вирта как средство задания синтаксиса
формального языка. Диаграммы Вирта
с параметрами.
|
|
-
Виды
и назначение идентификаторов в языке
FLOGOL.
|
|
-
Общий
шаблон и типы выражений в языке FLOGOL.
Оператор свертки.
|
|
-
Индексированные
имена в FLOGOLе.
|
|
-
Общая
структура описания предметной области
в языке FLOGOL. Доменное выражение.
Запрос.
|
|
-
Видимость
имен в FLOGOL-программе. Квалифицированные
имена.
|
|
-
Формальные
и фактические параметры при описании
отношений и вложенных доменов.
|
|
-
Роль
арифметических выражений в языке
FLOGOL.
|
|
-
График
как форма задания НО.
|