- •Кафедра “Вычислительная техника”
- •Составитель: и.В. Воронцов
- •СамГту; Сост. И.В. Воронцов. Самара, 2013, 95 с.
- •Раздел 1. Начальные языки описания цифровых автоматов
- •Тема 1.1. Предмет теории автоматов, его место и задачи
- •Тема 1.2. Начальные языки описания цифровых автоматов. Язык регулярных
- •Язык регулярных выражений алгебры событий использует следующие понятия:
- •Тема 1.3. Граф - схемы алгоритмов (гса) цифровых автоматов.
- •Формулы переходов описывают все пути между операторными вершинами в гса . Они имеют вид:
- •Объединение гса с помощью мса
- •Раздел 2. Автоматные языки описания цифровых автоматов
- •Тема 2.1. Автоматные языки описания цифровых автоматов. Графы переходов,
- •Тема 2.2. Конечные автоматы. Модель дискретного преобразования
- •Тема 2.3. Автоматы Мура, Мили и с-автоматы. Принципиальные различия
- •Тема 2.4. Эквивалентные автоматы, преобразования автоматов.
- •Раздел 3. Абстрактные и микропрограммные автоматы
- •Тема 3.1. Определение абстрактного автомата. Соединение двух автоматов:
- •Тема 3.2. Сети и коллективы автоматов
- •Тема 3.3. Абстрактный синтез микропрограммных автоматов (мпа) по гса.
- •Тема 3.4. Структурный синтез микропрограммных автоматов по гса
- •Разметка состояний
- •Тема 4.1. Формальные языки и операции над ними
- •Тема 4.2. Концепция порождения и распознавания.
- •Тема 4.3. Конечные автоматы как распознаватели.
- •Тема 4.4. Машина Тьюринга как автомат, реализующий
- •Тема 4.5. Автоматы с магазинной памятью (мп-автоматы)..
- •Лекция 9.
- •Тема 5.1. Автоматы как технические устройства эвм.
- •Раздел 6. Микропрограммные цифровые автоматы
- •Тема 6.1. Предмет теории автоматов и формальных языков, его место и задачи в подготовке бакалавра по информатике и вычислительной технике. Краткий исторический обзор
- •Место дисциплины в структуре ооп
- •Тема 6.2. Микропрограммные цифровые автоматы. Микропрограммирование.
- •Раздел 7. Синтез цифровых автоматов на жесткой логике
- •Тема 7.1. Структурный синтез мпа на жесткой логике. Синтез мпа автоматов Мура
- •Синтез автомата Мура по гса. Простейшая реализация
- •3.1.1.2. Построение графа переходов автомата Мура (по гса рис. 3.14)
- •3.1.1.3. Построение прямой таблицы переходов автомата Мура
- •3.1.1.4. Кодирование состояний автомата. Выбор элементов памяти
- •3.1.1.5. Обратная структурная таблица автомата Мура
- •3.1.1.6. Функции управления элементами памяти и функции выходов автомата
- •3.1.1.7. Структурная схема автомата Мура на жесткой логике
- •3.1.1.8. Функциональная схема автомата Мура на жесткой логике
- •Тема 7.2. Структурный синтез мпа на жесткой логике. Синтез мпа автоматов
- •Разметка состояний автомата Мили по гса
- •3.1.2.2. Построение графа переходов автомата Мили по гса
- •3.1.2.3. Построение прямой таблицы переходов автомата Мили
- •3.1.2.4. Кодирование состояний автомата. Выбор элементов памяти
- •3.1.2.5. Обратная структурная таблица автомата Мили
- •3.1.2.6. Функции управления элементами памяти и функции выходов автомата
- •3.1.2.7. Структурная схема автомата Мили на жесткой логике
- •3.1.2.8. Функциональная схема автомата Мили на жесткой логике
- •Раздел 8. Синтез цифровых автоматов на программируемых матрицах (плм)
- •Тема 8.1. Структурный синтез мпа Мили на плм. Вопросы оптимизации мпа
- •3.3.2. Простейшая матричная реализация автомата Мили
- •Тема 8.2. Структурный синтез мпа Мура на плм. Вопросы оптимизации мпа Простейшая матричная реализация автомата Мура
- •3.3.4. Вопросы оптимизации автоматов на матрицах
- •Кодирование логических условий х. Площадь матрицы м& в автоматах Мили и Мура зависит:
- •Раздел 9. Синтез цифровых автоматов на программируемой логике
- •Тема 9.1. Автоматы с программируемой логикой и естественной адресацией.
- •Принцип управления по хранимой программе
- •Кодирование наборов микроопераций
- •Адресация микрокоманд в автомате
- •Естественная адресация микрокоманд в автомате
- •Тема 9.2. Автоматы с программируемой логикой и принудительной адресацией.
- •Тема 9.3. Сегментация памяти в автоматах с программируемой логикой.
3.1.1.6. Функции управления элементами памяти и функции выходов автомата
Функции управления элементами памяти записываются по обратной структурной таблице автомата:
D i = F( a m , X a m a s).
Смысл этого выражения следующий (например для D2): значение функции D2 должно быть равно 1 (см. обратную структурную таблицу) в двух случаях (1-я и 2-я строки таблицы): если автомат находился в состоянии a0, а значение x 3 = 0; если автомат находился в состоянии a3, а значение x 2 =1. Таким образом, функция D 2 имеет вид
D 2 = a0x 3 a3 x 2.
Остальные функции D 1 и D 0 записываются аналогично:
D 1 = a1 x 1 a4 x 1 a3x 2 = x 1 (a1 a4) a3 x 2.
D 0 = a0 x 3 a3x 2.
Функции выходов также записываются по обратной структурной таблице автомата:
y i = F( a s).
Так как yi в автомате Мура зависят только от текущего состояния автомата, то для нашего примера они имеют вид
y1 = y2 = a1. y3 = a2. y4 = y5 = a3. y6 = a4. y7 = a0.
Это означает следующее: в состоянии a1 автомат вырабатывает микрокоманды y1 и y2 , в состоянии a2 – микрокоманду y3 и т.д.
3.1.1.7. Структурная схема автомата Мура на жесткой логике
Структурная схема автомата Мура состоит из следующих цифровых узлов (рис. 3.16).
Рис. 3.16
Память состояний (ПС), дешифратор состояний (DC), комбинационная схема формирования сигналов управления элементами памяти состояний (КСF), комбинационная схема формирования выходных сигналов автомата (КСУ). Взаимодействие узлов автомата следующее. Автомат находится в некотором состоянии am, код которого Kam в виде значений Q на выходе триггеров памяти состояний (ПС) подается на вход дешифратора состояний (DC), на выходе которого собственно и формируются значения переменных am. На выходах комбинационной схемы КСУ формируются микрокоманды У, а на выходах схемы КСF формируются значения функций управления элементами памяти, которые обеспечивают переход автомата в новое состояние a s при поступлении импульса синхронизации С на вход синхронизации ПС.
3.1.1.8. Функциональная схема автомата Мура на жесткой логике
Функциональная схема автомата Мура состоит из следующих цифровых узлов.
Память состояний. В нашем примере – триггеры Т2, Т1, Т0.
Дешифратор состояний DC. Дешифратор необходим для преобразования двоичного кода состояний автомата Ka m в унитарный, соответствующий переменным a i , используемым в записанных выше функциях. В нашем примере дешифратор DC имеет 3 входа и 8 выходов. На вход DC подается Kam – код состояния am , а на выходах DC формируется унитарный код состояния автомата a m: единица на i-том выходе дешифратора DC формируется при Kam = i.
Комбинационная схема формирования сигналов управления элементами памяти состояний автомата реализует функции
D i = F( a m , X a m a s)..
Комбинационная схема формирования выходных сигналов автомата реализует функции y i = F( a s).
В функциональной схеме (рис. 3.17) использованы «шины». Шины представляют собой множество соединений схемы, изображенных в виде одной утолщенной линии. Вход в шину и выход из нее конкретного соединения обозначаются либо одним и тем же числом, либо содержательным обозначением сигнала, передаваемого по этому соединению. Применение шин в схемах позволяет избежать большого числа пересечений на схеме и делает ее более простой для чтения.
С целью упрощения схемы в ней не показаны элементы, обеспечивающие установку автомата в начальное состояние а0 с кодом Ка0 = 100. Этот вопрос будет рассмотрен ниже.
Рис. 3.17. Функциональная схема Мура
На рис. 3.18 приведены временные диаграммы, поясняющие работу автомата Мура. Находясь в некотором состоянии a i, автомат вырабатывает выходной сигнал (микрокоманду) yj, соответствующий этому состоянию. В это же время формируются сигналы управления элементами памяти D i, которые определяют следующее состояние автомата в зависимости от текущего и значений логических условий xi. При поступлении на вход синхронизации автомата положительного фронта импульса С автомат переходит в новое состояние, определяемое значениями Di на входах триггеров Т2 Т1 Т0.
Рис. 3.18
Лекция 13.
