Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Экзаменационные вопросы (2013)

.docx
Скачиваний:
16
Добавлен:
28.06.2014
Размер:
22.45 Кб
Скачать

Программа экзамена по курсу

ТЕОРИЯ ПРОГРАММИРОВАНИЯ

(лектор курса Фальк Вадим Николаевич)

Часть 1

  1. Синтаксис базовой модели FALGOL. Понятие контекста.

  1. Архитектура и компоненты FALGOL-машины.

  1. Операционная семантика FALGOL.

  1. Метасемантика FALGOL.

  1. Модель Falgol со статическим связыванием (распроцедуривание, блоки, функции, рекурсивные процедуры).

  1. Трансформационная семантика. Примеры правил редукции и конверсии.

  1. Расширения языка Falgol. Объектные и функциональные константы.

  1. Представление в языке Falgol конструкций известных языков императивного программирования.

  1. Архитектура Falgol-процессора с внутренним языком высокого уровня. Концепция смешанных вычислений.

  1. Внутреннее представление термов в Falgol-процессоре, индексы вхождения. Функция дефицита.

  1. Теги и метатеги в представлении термов в Falgol-процессоре.

  1. Стек переменных, работа с блоками, функциями и рекурсивными процедурами.

  1. Принцип ассоциативного управления работой процессора. Рабочий цикл.

  1. Сборка мусора в Falgol-процессоре.

Часть 2

  1. Понятие направленного отношения. Арность и свойства НО. Представление различных данных как НО.

  1. Языки схем НО. Синтаксис. Интерпретация. Оператор рекурсии.

  1. Операции композиции НО. Основные сигнатуры языков НО.

  1. Комбинаторные отношения. Базисный набор комбинаторных констант.

  1. Сильные реляционные включение и эквивалентность схем НО. Примеры аксиом исчисления сильной эквивалентности схем НО.

  1. Определение и графическое представление сети в заданном базисе. Операции последовательной и параллельной композиции сетей. Подстановка сети вместо элемента в другую сеть.

  1. Сетевые КС-грамматики как средство задания сетевых языков.

  1. Сетевая интерпретация рекурсивных схем НО.

  1. Реляционная интерпретация сетевых языков.

  1. Сетевое представление свойств НО. Вычисление НО в конструктивных базисах. Процесс вычислений как генерация множества сетей и их последующей редукции.

  1. Сведение задачи доказательства общезначимости формул языка исчислений предикатов первого порядка к доказательству сильной эквивалентности сетевого языка арности и множества, содержащего пустую сеть.

  1. Правило сетевой резолюции. Метод резолюций доказательства общезначимости формул языка исчислений предикатов первого порядка.

  1. Представление предикатных символов сортами элементов нетерминального базиса. Процесс логического вывода как процесс вычисления НО.

  1. Общая характеристика и назначение языка функционально-логического программирования FLOGOL.

  1. Диаграммы Вирта как средство задания синтаксиса формального языка. Диаграммы Вирта с параметрами.

  1. Виды и назначение идентификаторов в языке FLOGOL.

  1. Общий шаблон и типы выражений в языке FLOGOL. Оператор свертки.

  1. Индексированные имена в FLOGOLе.

  1. Общая структура описания предметной области в языке FLOGOL. Доменное выражение. Запрос.

  1. Видимость имен в FLOGOL-программе. Квалифицированные имена.

  1. Формальные и фактические параметры при описании отношений и вложенных доменов.

  1. Роль арифметических выражений в языке FLOGOL.

  1. График как форма задания НО.