Министерство образования Российской Федерации Санкт-Петербургский государственный электротехнический университет “ЛЭТИ”

Министерство образования Российской Федерации
Санкт-Петербургский государственный электротехнический
университет “ЛЭТИ”
РАБОЧАЯ ПРОГРАММА
дисциплины
ТЕОРИЯ АВТОМАТОВ
Для подготовки дипломированных специалистов по направлению
654600 – “Информатика и вычислительная техника” по специальности
220100 – “Вычислительные машины, комплексы, системы и сети”
Санкт-Петербург
2002
Санкт-Петербургский государственный электротехнический
университет “ЛЭТИ”
“УТВЕРЖДАЮ”
Проректор по учебной работе
проф. ___________ Ушаков В.Н.
“_____”_______________2002 г.
РАБОЧАЯ ПРОГРАММА
дисциплины
ТЕОРИЯ АВТОМАТОВ
Для подготовки дипломированных специалистов по направлению
654600 – “Информатика и вычислительная техника” по специальности
220100 – “Вычислительные машины, комплексы, системы и сети”
Факультет компьютерных технологий и информатики
Кафедра вычислительной техники
Курс 3
Семестр 5
Лекции
80 ч.
Курсовое проектирование
16 ч.
Аудиторные занятия
Самостоятельные занятия
Всего часов
96 ч.
70 ч.
166 ч.
Экзамен
семестр
5
2002
2
Рабочая программа обсуждена на заседании кафедры Вычислительной техники
“____”_______________2002г., протокол №______.
Рабочая программа согласована с рабочими программами изученных ранее дисциплин:
1) Информатика
2) Программирование
Рабочая программа утверждена на методической комиссии факультета Компьютерных технологий и информатики “____”_____________2002г.
3
Цели и задачи дисциплины
Целью курса является изучение студентами основных положений теории
автоматов и теории формальных грамматик.
Требования к уровню освоения дисциплины
В результате изучения дисциплины студенты должны:
- знать элементы теории конечных автоматов, основные этапы абстрактного и
структурного синтеза конечных автоматов, элементарную зарубежную терминологию в данной предметной области, необходимые элементы ЕСКД;
- знать элементы теории формальных грамматик;
- уметь синтезировать по заданному автоматному отображению конечный автомат в заданном структурном базисе, пользоваться стандартами ЕСКД при выполнении схем управляющих автоматов;
- уметь строить магазинный автомат, реализующий перевод;
- иметь представление об актуальных задачах теории автоматов;
- иметь представление о соответствии классов языков и моделей автоматов.
Содержание рабочей программы
Введение
Предмет дисциплины, ее объем, содержание и связь с другими дисциплинами учебного плана, значение в подготовке инженеров. Краткий исторический очерк развития теории автоматов, обзор литературы по курсу.
Тема 1. Теория абстрактных автоматов
Определение абстрактного автомата. Модели Мура и Мили. Способы задания абстрактных автоматов.
Эквивалентность автоматов. Эквивалентные преобразования автоматов
Мили и Мура.
Алфавитный оператор. Автоматный оператор. Переход от алфавитного
оператора к абстрактному автомату.
Обобщенная модель дискретного устройства. Задание автоматного отображения операторной схемой алгоритма. Языки операторных схем
алгоритма. Синтез абстрактного автомата по операторной схеме алгоритма.
Минимизация числа состояний полностью определенного автомата.
Отношение эквивалентности, классы эквивалентности.
Минимизация числа состояний полностью определенного автомата. Построение множества классов эквивалентности и минимального автомата.
Определение частичного автомата. Свойства частичного отображения.
4
Преобразования частичных автоматов Мили и Мура.
Учет взаимодействия управляющего и операционного автоматов. Построение частичного автомата.
Минимизация частичных автоматов. Совместимость состояний, классы
совместимости. Построение множества максимальных классов совместимости.
Построение минимального замкнутого покрытия и минимального частичного автомата.
Тема 2. Теория структурных автоматов
Модель структурного автомата. Структурный базис. Типы триггеров.
Канонический метод структурного синтеза конечного автомата.
Асинхронные автоматы. Гонки в автоматах. Устойчивость структурного
автомата. Противогоночное кодирование.
Методы кодирования, ориентированные на упрощение автомата. Кодирование, учитывающее частоту переходов. Унитарное кодирование. Кодирование,
использующее понятие "соседства" состояний. Кодирование минимизирующее
число переключений элементов памяти.
Структурные методы обеспечения устойчивости структурного автомата.
Одноступенчатые синхронизируемые триггеры. "Двойная память". Двухступенчатые триггеры.
Явление риска в логических схемах. Условия возникновения риска. Построение логических схем без риска.
Построение структурных автоматов на основе ПЗУ и ПЛМ.
Тема 3. Теория формальных грамматик
Классификация формальных грамматик по Хомскому. Вывод. Язык, порождаемый грамматикой.
Задача распознавания и синтаксического анализа. Cворачивание.
Cоответствие автоматных грамматик и конечных автоматов. Недетерминированный конечный автомат. Построение автоматной грамматики для языка, допускаемого конечным автоматом.
Магазинный автомат. Язык, допускаемый магазинным автоматом. Построение магазинного автомата по заданной грамматике. Построение магазинного
преобразователя выполняющего синтаксический разбор.
Заключение
Связь разделов курса. Интерпретация микропрограмм конечными автоматами. Соответствие классов языков и моделей автоматов.
5
Цели и содержание курсовой работы
Для выполнения курсовой работы необходимо синтезировать микропрограммный управлящий автомат, используя модель и методы теории конечных автоматов.
Исходными данными для решения задачи синтеза являются:
1. алгоритм функционирования управляющего автомата в виде микропрограммы;
2. тип элемента памяти и система логических элементов;
3. требования к схеме автомата по стоимости и быстродействию.
Результатом курсовой работы являются функционально-логическая схема
управляющего автомата и пояснительная записка к ней.
Ориентировочная трудоёмкость 32 часа.
Распределение учебных часов по темам и видам занятий
№
те
мы
1
2
3
Название разделов
и тем
Введение
Теория абстрактных автоматов
Тория структурных
автоматов
Теория формальных грамматик
Заключение
Курсовое проектирование
ИТОГО:
2
20
Объем учебных часов
Практ.
Аудит. Самост
занятия
заняработа
тия
2
20
14
26
26
22
48
5
30
30
18
48
5
2
2
16
16
2
32
5
5
96
70
166
Лекции
80
Лабор.
занятия
Всего
Семестр
2
34
5
5
6
ЛИТЕРАТУРА
Основная
№
1
2
Название, библиографическое описание
Синтез конечных автоматов: Учебное пособие /В.С. Дудкин,
Р.Ш. Исмаилов, А.В. Крайников; Под ред. В.Б. Смолова.ЛЭТИ, Л., 1987.
Методические указания к курсовой работе по дисциплине
'Микропрограммное управление в ЭВМ и теория автоматов'.
/Сост.: В.C. Дудкин, А.В. Крайников, А.В. Плотников; ЛЭТИ.
-С.-Пб., 1991.-30 с.
Л
Кп
(р)
К-во экз.
в библ.
(на каф.)
5
5
30(0)
5
5
70(0)
Гриф
Дополнительная
№
Название, библиографическое описание
1
С.И. Баранов. Синтез микропрограммных автоматов (графсхемы и автоматы). -Л.: Энергия,1979.
Грис Д. Конструирование компиляторов для цифровых машин.
-М.: Мир, 1975.
2
К-во экз.
в библ.
(на каф.)
20(0)
10(0)
7
Автор:
к.т.н., доц.
Дудкин В.С.
Рецензент
к.т.н., доц. кафедры МО ЭВМ
Сидоров Ю.Н.
Зав. кафедрой Вычислительной техники
д.т.н., проф
Пузанков Д.В.
Декан факультета
Компьютерных технологий и информатики
д.т.н., проф.
Герасимов И.В.
Программа согласована:
Зав. кафедрой Вычислительной техники
д.т.н., проф
Пузанков Д.В.
Зав. отделом учебной литературы
Смирнова О.Н.
Председатель методической комиссии
факультета
Компьютерных технологий и информатики
к.т.н., доц.
Чугунов Л.А.
Руководитель методического отдела,
к.т.н., доцент
Марасина Л.А.
8