Модели вычислений — различия между версиями
Материал из Кафедра математической кибернетики
(→Программа курса) |
(→Литература) |
||
| Строка 57: | Строка 57: | ||
<li> Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. - М.: МЦНМО, 1999. - 176 с. | <li> Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. - М.: МЦНМО, 1999. - 176 с. | ||
<li> Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. - М.: Мир, 1983. | <li> Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. - М.: Мир, 1983. | ||
| + | <li> Льюис Ф., Розенкранц Д, Стирнз Р. Теоретические основы проектирования компиляторов. - М.: Мир, 1979.. - 656 с. | ||
<li> Матрос Д.Ш., Поднебесова Г.Б. Теория алгоритмов. - М.: Бином, 2008. - 200 с. | <li> Матрос Д.Ш., Поднебесова Г.Б. Теория алгоритмов. - М.: Бином, 2008. - 200 с. | ||
<li> Пунтус А.Е., Пентус М.Р. Математическая теория формальных языков. Серия "Основы информатики и математики" - М: Бином, 2006. - 247 с. | <li> Пунтус А.Е., Пентус М.Р. Математическая теория формальных языков. Серия "Основы информатики и математики" - М: Бином, 2006. - 247 с. | ||
<li> Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. - М.: Мир, 1972. | <li> Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. - М.: Мир, 1972. | ||
<li> Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений. - М.: Вильямс, 2002. - 528 с. | <li> Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений. - М.: Вильямс, 2002. - 528 с. | ||
| − | |||
| − | |||
| − | |||
</ol> | </ol> | ||
Версия 17:40, 28 декабря 2014
Лектор - профессор Захаров Владимир Анатольевич.
Содержание
Программа курса
Конечные автоматы и регулярные выражения
- Конечные автоматы: определения основных понятий. Языки, распознаваемые конечными автоматами. Замкнутость класса автоматных языков относительно операций объединения, пересечения и дополнения.
- Детерминированные конечные автоматы. Метод детерминизации конечных автоматов.
- Алгоритм проверки эквивалентности детерминированных конечных автоматов.
- Минимальные детерминированные конечные автоматы. Алгоритм минимизации детерминированных конечных автоматов.
- Алгебра регулярных выражений. Примеры тождеств в алгебре регулярных выражений. Регулярные языки.
- Алгоритм построения регулярного выражения, определяющего язык, распознаваемый заданным конечным автоматом.
- Алгоритм построения конечного автомата, распознающего язык, определяемый заданным регулярным выражением. Теорема Клини о совпадении класса автоматных языков и класса регулярных языков.
Вычислимые функции и рекурсивные множества
Формальные грамматики и языки
Алгоритмически неразрешимые математические задачи
Литература
- Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Т. 1: Синтаксический анализ. - М.: Мир, 1978. - 612 с.
- Ахо А., Сети Р., Ульман Дж. Компиляторы: принципы, технологии и инструменты. - М.: Вильямс, 2001. - 768 с.
- Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. - М.: МЦНМО, 1999. - 176 с.
- Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. - М.: Мир, 1983.
- Льюис Ф., Розенкранц Д, Стирнз Р. Теоретические основы проектирования компиляторов. - М.: Мир, 1979.. - 656 с.
- Матрос Д.Ш., Поднебесова Г.Б. Теория алгоритмов. - М.: Бином, 2008. - 200 с.
- Пунтус А.Е., Пентус М.Р. Математическая теория формальных языков. Серия "Основы информатики и математики" - М: Бином, 2006. - 247 с.
- Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. - М.: Мир, 1972.
- Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений. - М.: Вильямс, 2002. - 528 с.
