Недетерминированные автоматы в проектировании систем параллельной обработки. Вашкевич Н.П. - 51 стр.

UptoLike

ВУЗ: 

ПГУ | Пенза

Составители: 

Рубрика: 

51
3.1.3. Определение минимальной прямой таблицы
переходов и минимальной СКУ для автомата Мили и Мура
Цифровой автомат Мили. Обозначив произвольно каждый класс
эквивалентного разбиения событий ЦА Мили своим символом и заменив в
исходной ПТП (табл.3.1) каждое обозначение событий, входящего в класс,
обозначением введенного символа для этого класса и выполнив зачеркивание
повторяющихся строк, получим минимальную прямую таблицу переходов
ЦА Мили. Примем для нашего примера следующие обозначения для классов
эквивалентного разбиения:
(S
0
)=a
0
; (S
1
)=a
1
; (S
2
)=a
2
; (S
3
,S
5
)=a
3
;
(S
4
,S
8
)=a
4
; (S
6
,S
7
,S
10
)=a
5
; (S
9
)=a
6
; (S
k
)=a
7
.
После подстановки введенных обозначений в табл. 3.1 и вычеркивания
повторяющихся строк, получим следующую минимальную прямую таблицу
переходов для автомата Мили (табл.3.4). 
         3.1.3. Определение минимальной прямой таблицы
  переходов и минимальной СКУ для автомата Мили и Мура

     Цифровой автомат Мили. Обозначив произвольно каждый класс
эквивалентного разбиения событий ЦА Мили своим символом и заменив в
исходной ПТП (табл.3.1) каждое обозначение событий, входящего в класс,
обозначением введенного символа для этого класса и выполнив зачеркивание
повторяющихся строк, получим минимальную прямую таблицу переходов
ЦА Мили. Примем для нашего примера следующие обозначения для классов
эквивалентного разбиения:
     (S0)=a0; (S1)=a1; (S2)=a2; (S3,S5)=a3;
     (S4,S8)=a4; (S6,S7,S10)=a5; (S9)=a6; (Sk)=a7.
     После подстановки введенных обозначений в табл. 3.1 и вычеркивания
повторяющихся строк, получим следующую минимальную прямую таблицу
переходов для автомата Мили (табл.3.4).




                                                                      51

Страницы