2015-01-30
333
Необходимо иметь граф автомата вначале определяем требуемое количество триггеров:
где М – количество вершин.
Пример (для Мура):
Для того чтобы составить таблицу истинности, необходимо учесть:
1. r – сигнал сброса. Если он приходит на любую вершину, то автомат приходит в начальное состояние (обычно - 0).
2. Если на вершину не поступает требуемое условие перехода, то состояние не изменяется.
Таблица истинности (количество триггеров – N=3)
| Состояние | Т1 | Т2 | Т3 | Сост. | Т1 | Т2 | Т3 | Усл. перех. | Нов. сост. | Т1 | Т2 | Т3 |
| A | A | a | B | |||||||||
| B | B | a | C | |||||||||
| C | B | c | A | |||||||||
| D | C | a | D | |||||||||
| E | C | b | E | |||||||||
| D | a | E | ||||||||||
| A | b | C | ||||||||||
| E | c | D | ||||||||||
| E | a | A | ||||||||||
| E | b | B |
T11 = CbÚDa
T10 =(EbÚEcÚEa)\/ r
T21 = AbÚEcÚBa
|
|
|
T20 = (CbÚDa)Úr
T31 = AaÚCaÚEbÚEc
T30 = aBÚ(BcÚDa)Úr
