ЗАКЛЮЧЕНИЕ. С момента первого издания настоящих методических указаний прошло без малого 20 лет, но они не устарели и

С момента первого издания настоящих методических указаний прошло без малого 20 лет, но они не устарели и, более того, их актуальность возросла. В этом нет ничего удивительного, ведь теория автоматов – один из фундаментальных разделов Computer Science. Можно назвать ряд новых направлений теории вычислительных систем, становление и развитие которых «обязано» теории автоматов. Прежде всего, это универсальный язык моделирования UML (Unified Modeling Language), представляющий объектный подход к созданию системного и прикладного программного обеспечения [10]. Заслуживает внимание и такая многообещающая технология программной реализации алгоритмов как автоматное программирование[11]. Стало быть, теория автоматов важна, нужна, поэтому она требует углубленного изучения для будущих специалистов по IT технологиям. Этой цели и служит настоящее учебное пособие.

Считаю приятным долгом выразить слова признательности профессору А.Ф. Крюкову за поддержку в подготовке данного издания к печати.

СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

1. Глушков В.М. Синтез цифровых автоматов - М.: Гос. изд-во, 1962.–467 с.

2. Савельев А. Я. Прикладная теория цифровых автоматов: Учеб для вузов по спец. ЭВМ. М.: Высш. шк., 1987.–272 с.

3. Баранов С. И., Скляров В. А. Цифровые устройства на программируемых БИС с матричной структурой. М.: Радио и связь, 1986.–188 с.

4. Пупырев Е. И. Перестраиваемые автоматы и микропроцессорные системы. М.: Наука, 1984.

5. Шило В. Л. Популярные цифровые микросхемы: Справочник М.: Радио и связь, 1987.–352 с.

6. Потемкин И. С. Функциональные узлы цифровой автоматики. М.: Энергоатомиздат, 1988.–320 с.

7. Карпов Ю. Г. Теория автоматов. - Спб.: Питер, 2002.–224 с.

8. Орлов Д. А., Харитонов В. Ю. Анализатор некорректного поведения минимизированных конечно-автоматных моделей.// Радиоэлектроника, электротехника и энергетика. Десятая Междунар. науч.-техн. конф. студентов и аспирантов. Тез. докл. в 3-х т. – М.: МЭИ, 2004. Т.1.–с. 369

9. Грешилова М. В., Калашников С. Г., Лебедь А. А., Логинов А. В., Фролова А. А. Интегрированная среда автоматизированного синтеза конечных атвоматов.// Радиоэлектроника, электротехника и энергетика. Десятая Междунар. науч.-техн. конф. студентов и аспирантов. Тез. докл. в 3-х т. – М.: МЭИ, 2004. Т.1.–с. 361

10. Кендалл Скотт. UML. Основные концепции. Пер. с англ. - М.: Издательский дом «Вильямс», 2002.–144 с.

11. Шалыто А.А. Логическое управление. Метода аппаратной программной реализации алгоритмов. - СПб.: Наука, 2000.–780 с.

СОДЕРЖАНИЕ

Введение 4

1. Методы абстрактного синтеза 6

1.1 Использование алгебры регулярных событий 7

1.2 Синтез автомата по дереву управления 9

1.3 Завершающая стадия абстрактного синтеза 12

2. Методика структурного синтеза 14

3. Контрольный пример 21

4. Варианты типовых заданий 30

5. Заключение 43

Литература 44

Учебное издание

Дзегеленок Игорь Игоревич

СИНТЕЗ УПРАВЛЯЮЩЕГО АВТОМАТА

Методические указания к расчетному заданию

по курсу

«Теория автоматов»

Редактор издательства

_________________________________________________________________

Темплан издания МЭИ Подписано в печать

Печать офсетная. Формат.Физ. печ. л. Тираж Изд. № Заказ

_________________________________________________________________________________

Издательство МЭИ, 111250, Москва, Красноказарменная ул., д.14

Отпечатано в типографии

Ó Московский энергетический институт

(технический университет)