Операционное устройство. Хлуденев А.В. - 37 стр.

UptoLike

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

ся все состояния, из которых автомат выполняет переход в 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