ВУЗ:
Составители:
ся все состояния, из которых автомат выполняет переход в s
i
под действием х.
Из способа построения инверсной таблицы переходов следует, что состояния,
расположенные в одной клетке такой таблицы, являются соседями первого
рода. Определение соседей второго рода выполняется по инверсной таблице
переходов следующим образом. Если состояния
s' и s” являются соседями
первого рода и если эти два состояния встречаются в таблице еще раз в разных
строках и в одном и том же столбце, то состояния
s
i
и s
j
, отмечающие строки, в
которых расположены
s' и s”, являются соседями второго рода.
Из анализа обратной таблицы переходов (таблицы 13) для
рассматриваемого примера следует, что соседями первого рода являются
состояния
s
1
, s
2
, s
3
, а соседеми второго рода s
3
, s
4
. Определим число разрядов
кода
l
≥
.
log
2
5
=3. Результат кодирования состояний, полученный по правилам
соседнего кодирования приведен в таблице 14.
Таблица 14
s q
2
q
1
q
0
s
0
0 0 0
s
1
0 0 1
s
2
0 1 1
s
3
1 0 1
s
4
1 0 0
Таблица 13
x
1
x
2
s
00 01 11 10
s
0
s
4
s
4
s
4
s
4
s
1
s
0
s
0
s
0
s
0
s
2
s
3
- s
1
s
1
s
3
s
3
s
1
s
2
s
3
s
1
s
2
s
2
s
2
s
4
-
s
3
s
3
-
5.2 Формирование функций возбуждения и выходов
Табличные формы представления функций внешнего перехода, функций
возбуждения и функций выходов можно получить непосредственно из таблицы
переходов-выходов 12 и таблицы кодов состояний 14. Для этого символы
состояний необходимо заменить соответсующими кодами и установить
порядок следования строк и столбцов в соответствии с циклическим кодом
Грея. Это позволит упростить формирование и минимизацию логических
функций.
Для наглядности выполняемых преобразований построим структурную
таблицу автомата Мура. Заполняется структурная таблица с учетом
функционирования заданного элемента памяти (таблица 9), в данном случае -
D-триг-гера.
37
ся все состояния, из которых автомат выполняет переход в si под действием х.
Из способа построения инверсной таблицы переходов следует, что состояния,
расположенные в одной клетке такой таблицы, являются соседями первого
рода. Определение соседей второго рода выполняется по инверсной таблице
переходов следующим образом. Если состояния s' и s” являются соседями
первого рода и если эти два состояния встречаются в таблице еще раз в разных
строках и в одном и том же столбце, то состояния si и sj, отмечающие строки, в
которых расположены s' и s”, являются соседями второго рода.
Из анализа обратной таблицы переходов (таблицы 13) для
рассматриваемого примера следует, что соседями первого рода являются
состояния s1 , s2 , s3, а соседеми второго рода s3 , s4. Определим число разрядов
кода l ≥. log2 5=3. Результат кодирования состояний, полученный по правилам
соседнего кодирования приведен в таблице 14.
Таблица 13 Таблица 14
s x1x2 s q2 q1 q0
00 01 11 10 s0 0 0 0
s0 s4 s4 s4 s4 s1 0 0 1
s1 s0 s0 s0 s0 s2 0 1 1
s2 s3 - s1 s1 s3 s3 1 0 1
s3 s1 s2 s3 s1 s2 s2 s2 s4 1 0 0
s4 - s3 s3 -
5.2 Формирование функций возбуждения и выходов
Табличные формы представления функций внешнего перехода, функций
возбуждения и функций выходов можно получить непосредственно из таблицы
переходов-выходов 12 и таблицы кодов состояний 14. Для этого символы
состояний необходимо заменить соответсующими кодами и установить
порядок следования строк и столбцов в соответствии с циклическим кодом
Грея. Это позволит упростить формирование и минимизацию логических
функций.
Для наглядности выполняемых преобразований построим структурную
таблицу автомата Мура. Заполняется структурная таблица с учетом
функционирования заданного элемента памяти (таблица 9), в данном случае -
D-триг-гера.
37
Страницы
- « первая
- ‹ предыдущая
- …
- 35
- 36
- 37
- 38
- 39
- …
- следующая ›
- последняя »
