Отмеченный граф автомата МУРА (Часть1)
Для автомата МУРА характерным является то, что каждому состоянию аt соответствует свой набор управляющих сигналов уt. Это следует из структурной модели (см. рис.20) и закона функционирования
yt=l(at)
Если каждому состоянию at соответствует свой набор yt, то можно утверждать и наоборот: каждому набору уt соответствует свое состояние аt.
На ГСА (рис.19) наборы yt определены в каждой операторной вершине. Поэтому состояние автомата (а0, а1,…) можно записать (отметить) возле каждой операторной вершины (рис.21). Вершина “begin” – это исходное состояние автомата, в котором автомат не вырабатывает управляющих сигналов (yt=0). Исходное состояние “begin” и конечное “end” должны совпадать. Это значит, что после реализации ГСА автомат переходит вновь в исходное состояние. Эти вершины отметим одним состоянием а0.
Из отмеченной ГСА (рис.21) следует, что автомат имеет 5 состояний:
а0, а1, а2, а3, а4.
Для их кодирования достаточно три разряда в регистре состояния R:
|
Т2
|
Т1
|
Т0
|
|
а0
|
0
|
0
|
0
|
|
а1
|
0
|
0
|
1
|
|
а2
|
0
|
1
|
0
|
|
а3
|
0
|
1
|
1
|
|
а4
|
1
|
0
|
0
|
Состояния а5=101, а6=110 и а7=111 являются избыточными.
|
