Структурный автомат

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

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

И так, абстрактный автомат на входе имеет некоторую последовательность входных сигналов, в зависимости от которых переходит из одного состояния в другое, выдавая некоторую поледовательность выходных сигналов (рис.5.1).

Рис. 5.1.

В структурном автомате учитывается структура входных и выходных сигналов, то есть их конкретное представление в виде двоичных векторов. Состояния автомата так же кодируются двоичными векторами.

Рассмотрим совмещенный автомат (рис.5.2). Каждое состояние абстрактного автомата кодируется двоичным вектором:

,

;

- число состояний абстрактного автомата;

- число элементов памяти.

Рис. 5.2.

Входной и выходные представляются также двоичными векторами:

• , , - число входных сигналов абстрактного автомата, - число входов структурного автомата ;
• , - число выходных сигналов 1 типа, -число выходов 1 типа структурного автомата ;
• , - число выходных сигналов 2 типа, - число выходов 2 типа структурного автомата

Дата добавления: 2015-07-26; просмотров: 180; Нарушение авторских прав

Мы поможем в написании ваших работ!