2. Методика выполнения

Используя материал из раздела 1, по заданному преподавателем словесному описанию закона функционирования цифрового автомата:

1. Записать регулярные выражения алгебры событий

2. Построить ГСА

3. Построить ЛСА

4. Построить МСА

5. Записать формулы переходов

6. Используя программу среду программирования Java смоделировать ГСА функционирования цифрового автомата. ГСА выдается преподавателем.

3. Задание на выполнение работы

Согласно методике, изложенной в разделе 2, и краткой теории из раздела 1, по заданному преподавателем словесному описанию закона функционирования цифрового автомата выполнить п.1..п.6 раздела 2. Результаты исследований оформить в виде отчета.

4. Контрольные вопросы

1. Какие объекты и функции используются для описания закона функционирования автомата в виде регулярных выражений алгебры событий?

2. Какие правила необходимо соблюдать при описания закона функционирования автомата в виде ГСА?

3. Какое различие между МСА и формулами переходов?

4. Какие ГСА имеет смысл объединять в одну ?

Лабораторная работа № 11 Исследование языков описания цифровых автоматов. Моделирование микропрограмм

Цель лабораторной работы: Получение навыков описания, преобразования и исследования цифровых автоматов, описанных с помощью автоматных языков и микропрограмм.

1. Краткая теория

1. Автоматные языки

Среди автоматных языков наиболее распространены таблицы, графы и матрицы переходов и выходов.

Рассмотрим примеры таблиц для автоматов Мили и Мура

Пример автомата Мили

Таблица переходов:						Таблица выходов:

На пересечении столбца и строки ставят: и .

Таблицы переходов и выходов могут быть объединены в единую совмещенную таблицу переходов и выходов:

Пример автомата Мура:

Автомат Мура задается одной отмеченной таблицей переходов:

Для не полностью определенных автоматов на месте неопределенных состояний и выходных сигналов ставятся прочерки (не в шапках таблиц, а внутри таблиц).

Граф автомата – это ориентированный граф, вершинам которого соответствуют состояния автомата, а дугам – переходы.

Дуге , направленной от вершины к вершине приписывается (в модели Мили) входной сигнал и выходной сигнал , либо ставится прочерк.

В модели Мура выходной сигнал приписывается вершине, т.е. состоянию .

Автоматы и , заданные выше в виде таблиц, задаются следующими графами: