- •«Самарский государственный технический университет»
- •По курсу «Теория автоматов и формальных языков»
- •Лабораторная работа № 1
- •1. Краткая теория
- •1. Начальные языки описания цифровых автоматов
- •1.1. Начальные языки описания цифровых автоматов.
- •1.1.1. Язык регулярных выражений алгебры событий. Язык регулярных выражений алгебры событий использует следующие понятия:
- •1.1.2. Граф-схемы алгоритмов (гса) функционирования автоматов.
- •1.1.4. Формулы переходов.
- •1.1.5. Матричные схемы алгоритмов (мса).
- •1.1.6. Преобразование гса с помощью формул переходов.
- •1.1.3. Логические схемы алгоритмов (лса).
- •2. Методика выполнения
- •4. Контрольные вопросы
- •1. Краткая теория
- •1.1.7. Объединение гса с помощью мса.
- •2. Методика выполнения
- •Задание на выполнение работы
- •4. Контрольные вопросы
- •Лабораторная работа № 3
- •1. Краткая теория
- •Тема 2.1. Автоматные языки описания цифровых автоматов.
- •2. Методика выполнения
- •1. Краткая теория
- •Тема 3.1. Определение абстрактного автомата. Соединение
- •2. Методика выполнения
- •1. Краткая теория
- •2. Методика выполнения
- •1. Краткая теория
- •2. Методика выполнения
- •4. Контрольные вопросы
- •Лабораторная работа № 7 Исследование автомата с магазинной памятью.
- •1. Краткая теория
- •2. Методика выполнения
- •1. Краткая теория
- •Разметка состояний
- •2. Методика выполнения Используя материал из раздела 1, по гса, заданной преподавателем, спроектировать автомат Мура на жесткой логике:
- •3. Задание на выполнение работы
- •Лабораторная работа № 9 Зачетное занятие
- •Начальные языки описания цифровых автоматов.
- •Лабораторная работа № 10 Исследование языков описания цифровых автоматов. Моделирование гса.
- •1. Краткая теория
- •1. Язык регулярных выражений алгебры событий. Язык регулярных выражений алгебры событий использует следующие понятия:
- •2. Граф-схемы алгоритмов (гса) функционирования автоматов.
- •3. Логические схемы алгоритмов (лса).
- •4. Формулы переходов.
- •5. Матричные схемы алгоритмов (мса).
- •2. Методика выполнения
- •3. Задание на выполнение работы
- •4. Контрольные вопросы
- •Лабораторная работа № 11 Исследование языков описания цифровых автоматов. Моделирование микропрограмм
- •1. Краткая теория
- •Автоматные языки
- •2. Микропрограммный управляющий автомат
- •2. Методика выполнения
- •3. Задание на выполнение работы
- •4. Контрольные вопросы
- •Лабораторная работа № 12
- •1. Краткая теория
- •1) Разметка состояний.
- •2) Прямая таблица переходов.
- •3) Кодирование состояний.
- •4) Обратная структурная таблица.
- •5) Запись функции выходов и переходов автомата.
- •2. Методика выполнения Используя материал из раздела 1, по гса, заданной преподавателем, спроектировать автомат Мура на жесткой логике:
- •3. Задание на выполнение работы
- •4. Контрольные вопросы
- •Лабораторная работа № 13
- •1. Краткая теория
- •1) Разметка состояний автомата по гса.
- •2) Прямая таблица переходов.
- •3) Кодирование состояний автомата.
- •4) Обратная структурная таблица.
- •5) Запись функций выходов и переходов автомата.
- •6) Построение функциональной схемы автомата Мили (рис.2).
- •2. Методика выполнения Используя материал из раздела 1, по гса, заданной преподавателем, спроектировать автомат Мили на жесткой логике:
- •3. Задание на выполнение работы
- •4. Контрольные вопросы
- •Лабораторная работа № 14 Исследование автоматов Мили на плм. Моделирование автоматов Мили плм.
- •1. Краткая теория
- •2. Методика выполнения Используя материал из раздела 1, по гса, заданной преподавателем, спроектировать автомат Мили на плм:
- •3. Задание на выполнение работы
- •4. Контрольные вопросы
- •Исследование автоматов Мура на плм. Моделирование автоматов Мура плм
- •Краткая теория
- •2. Методика выполнения Используя материал из раздела 1, по гса, заданной преподавателем, спроектировать автомат Мура на плм:
- •3. Задание на выполнение работы
- •4. Контрольные вопросы
- •1. Краткая теория
- •3) Краткое описание работы автомата:
- •2. Методика выполнения
- •4. Контрольные вопросы
- •Лабораторная работа № 17
- •1. Краткая теория
- •Формат микрокоманды:
- •Оглавление
- •3) Краткое описание работы автомата:
- •2. Методика выполнения
- •4. Контрольные вопросы
- •Лабораторная работа № 18
2. Методика выполнения
Используя материал из раздела 1, по заданному преподавателем словесному описанию закона функционирования цифрового автомата:
1. Разработать алгоритм функционирования автомата.
2. Разработать структурную схему автомата.
3.Разработать микропрограмму функционирования автомата.
4. Используя программу среду программирования Java смоделировать работу автомата в соответствии с микропрограммой.
3. Задание на выполнение работы
Согласно методике, изложенной в разделе 2, и краткой теории из раздела 1, по заданному преподавателем словесному описанию закона функционирования цифрового автомата выполнить п.1..п.4 раздела 2. Результаты исследований оформить в виде отчета.
4. Контрольные вопросы
1. Какие объекты и функции используются для описания закона функционирования автомата, заданного с помощью автоматного языка?
2. Какие правила необходимо соблюдать при описания закона функционирования автомата с помощью автоматного языка?
3. Какие микрооперации автомат может выполнять одновременно?
4. Почему выполнение одного и того же алгоритма может занимать различное число тактов автомата?
Лабораторная работа № 12
Исследование автоматов Мура на жесткой логике. Моделирование автоматов Мура на жесткой логике
Цель лабораторной работы: Получение навыков структурного синтеза, исследования и моделирования цифровых управляющих автоматов (модель Мура).
1. Краткая теория
Рассмотрим порядок синтеза автомата на примере автомата, заданного ГСА рис.1.
1) Разметка состояний.
В автомате Мура каждой операторной вершине соответствует состояние автомата. Переход из состояния bm в состояние bs — это переход из одной операторной вершины в другую при выполнении логический условий X(bm,bs) на пути из bm в bs.
Т.к. начальное и конечное состояние автомата совпадают, на ГСА искусственно добавлена еще одна операторная вершина, соответствующая состоянию b0.
Узлы
используются для упрощения формул
переходов и ставятся на ГСА в точках,
где несколько путей сходятся, а затем
расходятся. Узлы не кодируются.
2) Прямая таблица переходов.
Прямая таблица переходов строится так же, как и для автомата Мили (см. лр. № 4.) Отличительная особенность: в данном примере в ГСА введены узлы . В ГСА с узлами возможны переходы четырех видов:
am
as,
am
,
as,
.
Все эти переходы описываются в прямой таблице переходов.
Таблица 1.
№ |
bm |
bs |
X(bm,bs) |
Y(bm,bs) |
1 |
b0 |
b0 |
|
y6 |
2 |
|
|
|
— |
3 |
b1 |
|
1 |
— |
4 |
b2 |
|
1 |
— |
5 |
b3 |
b0 |
|
y6 |
6 |
|
|
|
— |
7 |
b4 |
b0 |
|
y6 |
8 |
|
|
|
— |
9 |
|
b2 |
|
y1y2y3 |
10 |
|
b1 |
|
y1y4y5 |
11 |
|
|
|
— |
12 |
|
b3 |
|
y1y2y5 |
13 |
|
b4 |
|
y3y4y5 |
В столбце X(bm,bs) единица записывается тогда, когда bm в bs переход осуществляется всегда.
Рис. 1. Размеченная ГСА автомата Мура с узлами.
