ТЕОРИЯ ПРОГРАММИРОВАНИЯ
к.ф.-м.н., доцент Бульонков М.А.
Понятие машины Тьюринга. Запись программ на МТ. Функционирования
1.
МТ: конфигурация, протокол. Вычисляемая функция. Временная
сложность. Ёмкостная сложность. Вариации МТ. Понятие РАМ-машины.
Вычисление на РАМ: состояние памяти, конфигурация, операнды, команды.
Функция, вычисляемая РАМ. Временная и мкостная сложность,
равномерный и логарифмический весовой критерии. Понятие сложности в среднем.
Понятие порядка сложности, полиномиальная связанность, 2.
экспоненциальная функция. Понятие моделирования, пошаговое моделирование. Моделирование РАМ на МТ, оценка сложности.
Невозможность моделирование РАМ на МТ при равномерном весовом критерии. Моделирование РАМ на МТ при логарифмическом весовом критерии, оценка сложности.
Теорема об ускорении. Понятие сигнализирующего оператора. Временная и 3.
мкостная сложность МТ как сигнализирующие. Теорема Цейтина, диагональный метод. Теорема Рабина.
Нижние оценки. Задачи, допускающие матричные формулировки.
4.
Неветвящиеся программы, как модель вычислений. Теоремы о нижней оценке для задачи умножения матрицы на вектор по строкам и по столбцам.
Примеры использования.
Понятие конечного автомата. Графовое представление. Язык конечного 5.
автомата. Понятие регулярного выражения и его языка. Понятие регулярного выражения. Теорема о регулярности конечно-автоматных языков. Лемма о разрастании, примеры использования.
Проблемы пустоты и эквивалентности конечных автоматов. Переборный и 6.
алгебраический способы доказательства эквивалентности, оценка сложности. Понятие минимального автомата и его построение методом грубейшего разбиения. Оценка сложности. Доказательство эквивалентности методом сведения к задаче «Объединить-найти».
Поиск в информационном массиве. Линейный поиск, оценка сложности в 7.
худшем и среднем. Бинарный поиск и двоичные деревья поиска.
Сбалансированные деревья. 2-3 деревья: оценка сложности, процедуры вставки и удаления. B-деревья, как обобщение 2-3 деревьев: оценка сложности. АВЛ-деревья: оценка сложности, процедуры вставки в АВЛ дерево. Метод расстановки: оценка сложности в худшем и среднем.
Задача сортировки. Классификация методов сортировки: по области 8.
применения, по используемым методам. Критерии оценки сложности.
Примеры сортировки вставкой, выбором и обменом. Понятие дерева решений. Оценка сложности в худшем случае для сортировки, основанной на сравнениях. Сортировка слиянием: оценка временной и мкостной сложности в худшем случае. Оценка сложности в среднем для сортировки, основанной на сравнениях. Быстрая сортировка: оценка временной сложности в среднем.
Метод разметки. Понятие ориентированного мультиграфа, примеры.
9.
Понятие полурештки свойств, свойства ограниченности и обрыва цепей.
Понятие монотонных и дистрибутивных преобразователей свойств.
Формулировка задачи глобального анализа. Понятие точного решение ЗГА, Понятие недетерминированного процесса разметки. Понятие стационарной разметки, доказательство е существования. Понятие безопасной разметки.
Теоремы о безопасности и единственности стационарной разметки.
Теорема о точности стационарной разметки в дистрибутивном случае.
10.
Пример формулировки ЗГА для анализа циклов в графе. Методы минимизации количества применений правила разметки. Теорема о невозможности построения точного решения в монотонном случае.
Понятие стандартной схемы: базис, термы, операторы. Понятие аргументов 11.
и результатов, правильность стандартной схемы. Понятие интерпретации:
значение терма, протокол, результат. Свободные интерпретации как пример интерпретации. Понятие функциональной эквивалентности стандартных схем. Понятие логико-термальной эквивалентности: логико-термальная история, детерминант. Теорема о корректности лт-эквивалентности.
Понятие информационных связей и информационного графа. Нахождение 12.
информационного графа путм сведения к ЗГА. Компоненты связности информационного графа, их зацеплнность. Переименование переменных, минимизация количества переменных в стандартной схеме путм сведения к задаче раскраски графов.
Понятие инвариантного соотношения. Функциональные сети, как средство 13.
представления инвариантных соотношений. Множество утверждений функциональной сети, приведнные сети. Операция пересечения функциональных сетей. Функциональные сети как полурештка свойств.
Преобразователи функциональных сетей, их дистрибутивность. Решение задачи нахождения инвариантных соотношений методом ЗГА.
Понятие фрагмента стандартной схемы. Фрагмент, как обобщение 14.
стандартной схемы. Эквивалентность фрагментов, вхождения фрагментов.
Понятие система преобразований. Система лт. Теорема о корректности.
Теорема о полноте: согласование стандартных схем, Л-графы, Оценка сложности.
Понятие смешанного вычисления программ: программы как данные, 15.
доступные и задержанные вычисления, основное уравнение СВ. Связь смешанных вычислений с S-m-n теоремой Клини. Условия выгодности СВ, Связь СВ и трансляции программ: понятие транслятора и интерпретатора.
Проекции Футамуры. Понятие метаинтерпретатора и автоинтерпретатора, критерий оптимальности Джонса. Другие потенциальные применения СВ.
Пример функции xn. Интерпретационный подход к реализации СВ. Понятие 16.
генерирующего расширения, как объектного кода для семантики, заданной СВ, Трансформационный подход.
Проблема задержанного управления при СВ, Поливариантные СВ, Пример 17.
интерпретатора конечных автоматов. Методы улучшения специализируемости программ. Построение транслятора конечных автоматов.
Понятие анализа периода связывания (BTA). Сведение задачи BTA к ЗГА, 18.
Решение BTA методом нахождения неподвижной точки. Решение BTA методом решения системы неравенств. Понятие поливариантного анализа периода связывания: преобразование программы в процессе анализа.
ЛИТЕРАТУРА
Ахо А., Хопкрофт Дж., Ульман Дж. Структуры данных и алгоритмы. – М.:Издательский дом “Вильямс”, 2000.
Бульонков М.А. Смешанные вычисления. Учебное пособие. – Новосибирск:
Изд-во НГУ, 1995.
Карпов Ю. Теория автоматов. Учебник для вузов. – СПб.: Издательский дом Котов В.Е., Сабельфельд В.К. Теория схем программ. – М.: Наука, 1991.
Лавров С. Программирование. Математические основы, средства, теория. – СПб.: БХВ-Петербург, 2001.
Мотвани Р., Хопкрофт Дж., Ульман Дж. Введение в теорию автоматов, языков и вычислений, 2-е издание, – М.: Издательский дом “Вильямс”, Сабельфельд В.К. Теория программирования. Учебное пособие. – Новосибирск: Изд-во НГУ, 1993.
Ахо А., Сети Р., Ульман Дж.Д. Компиляторы: принципы, технологии и инструменты. – М.: Издательский дом “Вильямс”, 2001.
Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. – М.: Мир, 1979.
Биркгоф Г. Теория решеток. – М.: Наука, 1984.
10.
Ершов А.П. Введение в теоретическое программирование (беседы о 11.
методе). – М.: Наука, 1977.
Касьянов В.Н. Лекции по теории формальных языков, автоматов и 12.
сложности вычислений. Учебное пособие. – Новосибирск: Изд-во НГУ, Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: построение и анализ. – М.:
13.
Котов В.Е. Введение в теорию схем программ. – М.: Наука, 1978.
14.
Трахтенброт Б.А. Сложность алгоритмов и вычислений. – Новосибирск:
15.
Изд-во НГУ, 1967.