- •«Самарский государственный технический университет»
- •По курсу «Теория автоматов и формальных языков»
- •Лабораторная работа № 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
5) Запись функции выходов и переходов автомата.
По обратной структурной таблице запишем функции для Yi, Ri и Si.
;
;
;
;
;
;
;
;
;
;
;
;
;
.
Легко заметить, что использование узлов в ГСА автомата Мура позволило значительно упростить функции выходов и переходов (для сравнения — функции автомата Мили
из лр. № 4). Функциональная схема автомата приведена на рис. 3.
2. Методика выполнения Используя материал из раздела 1, по гса, заданной преподавателем, спроектировать автомат Мура на жесткой логике:
1. Разметить состояния автомата по ГСА.
2. Построить граф переходов и прямую таблицу переходов
3 Построить обратную структурную таблицу автомата
4. Сформировать функции выходов и управления элементами памяти
5. Построить функциональную схему автомата
6. Используя программу моделирования электронных схем Multisim собрать схему автомата и исследовать ее работу в соответствии с заданной преподавателем ГСА.
3. Задание на выполнение работы
Согласно методике, изложенной в разделе 2, и краткой теории из раздела 1, по заданному преподавателем описанию закона функционирования цифрового автомата в виде ГСА выполнить п.1..п.6 раздела 2. Результаты исследований оформить в виде отчета.
4. Контрольные вопросы
1. Какие объекты и функции используются для описания закона функционирования структурного автомата Мура?
2. Какие правила необходимо соблюдать при разметке состояний автомата Мура?
3. Какое различие между структурными автоматами МИЛИ и МУРА?
4.Какие элементы памяти могут использоваться в автоматах Мура, законы их функционирования?
Рис. 3. Функциональная схема атомата Мура на жесткой логике.
Лабораторная работа № 13
Исследование автоматов Мили на жесткой логике. Моделирование автоматов Мили на жесткой логике.
Цель лабораторной работы: Получение навыков структурного синтеза, исследования и моделирования цифровых управляющих автоматов (модель Мили).
1. Краткая теория
Рассмотрим порядок синтеза автомата на примере автомата, заданного ГСА рис.1.
Рис. 1. Размеченная ГСА автомата Мили.
1) Разметка состояний автомата по гса.
Состояние:
a1 – начальное (оно же конечное) состояние, отмечается на входе вершины, следующей за начальной и на входе вершины «конец».
а2, а3,... - входы всех вершин, следующих за операторами.
Микрокоманда y6 вырабатывается УА при завершении его работы по ГСА. y6 — соответствует событию «операция выполнена». Искусственно введем y6 при любых переходах в начальное (конечное) состояние а0.
2) Прямая таблица переходов.
Прямая таблица переходов строится по размеченной ГСА (рис.1). В ней указываются все возможные пути переходов из состояния аm в состояние аs, условия при которых переход из аm в аs, происходит по данному пути (X(am,as)), микрокоманда (Y(am,as)), вырабатывается автоматом на данном переходе.
Таблица 1.
№ |
am |
as |
X(am,as) |
Y(am,as) |
1 |
a0 |
a0 |
|
y6 |
2 |
|
a1 |
|
y1y4y5 |
3 |
|
a2 |
|
y1y2y3 |
4 |
|
a3 |
|
y1y2y5 |
5 |
|
a3 |
|
y3y4y5 |
6 |
a1 |
a1 |
|
y1y4y5 |
7 |
|
a2 |
|
y1y2y3 |
8 |
|
a3 |
|
y1y2y5 |
9 |
|
a3 |
|
y3y4y5 |
10 |
a2 |
a3 |
|
y3y4y5 |
11 |
|
a3 |
|
y1y2y5 |
12 |
a3 |
a0 |
|
y6 |
13 |
|
a3 |
|
y3y4y5 |
14 |
|
a3 |
|
y1y2y5 |
