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

Используя материал из раздела 1, по описанию абстрактного автомата, заданному преподавателем разработать программу моделирования результирующего автомата.

1. Разработать алгоритм моделирования результирующего автомата.

2. Разработать структуру данных.

3. Составить программу функционирования результирующего автомата.

4. Исследовать поведение результирующего автомата на построенной модели.

3. ЗАДАНИЕ НА ВЫПОЛНЕНИЕ РАБОТЫ

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

4. КОНТРОЛЬНЫЕ ВОПРОСЫ

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

2. Какие правила необходимо соблюдать при моделировании абстрактных автоматов?

3. Какое различие между абстрактными автоматами Мили и Мура?

Лабораторная работа № 5

Исследование абстрактного автомата.

Цель лабораторной работы: Получение навыков исследования абстрактных автоматов.

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

Соединение двух автоматов с обратной связью.

Соединение с обратной связью

- автомат без памяти – функциональный преобразователь, реализующий отображение .

Здесь хотя бы один из автоматов должен быть типа Мура.

Пусть - автомат модели Мура. Тогда результирующий автомат , у которого:

1) , или

2)

3)

4) , определяемая следующим образом:

или

5) , определяемая следующим образом:

или

Пример:

;

Решение