Теория автоматов. Жукалина И.В. - 20 стр.

UptoLike

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

20
4) Кодирование состояний устройства
Число разрядов кода состояния соответствует числу элементов памяти и
определяется по формуле: k = log
2
S , где
k число разрядов (число элементов памяти)
S число внутренних состояний;
- округление в большую сторону.
В нашем случае для автомата Мура число состояний S = 6. Количество
разрядов кода состояния (число элементов памяти): K = ]log
2
S[ = ]log
2
6[ = 3.
Для автомата Мили число состояний S = 5. Количество разрядов кода
состояния (число элементов памяти): k = ]log
2
S[ = ]log
2
5[ = 3.
Таблицы кодировки состояний для автомата Мура и автомата Мили
приведены на рисунке 12, а) и б) соответственно.
Состояние
Код состояния
S
0
000
S
1
001
S
2
010
S
3
011
S
4
100
S
5
101
а) б)
Рисунок 12 - Таблицы кодировки состояний для автомата Мура а) и
автомата Мили б)
5) Формирование функций перехода, возбуждения и выходов
устройства
По отмеченной ГСА или графу функционирования автомата, таблицы
кодировки состояний автомата и таблицы переходов триггеров строим таблицы
(или таблицу) функций перехода, возбуждения и выходов устройства.
Таблица 2 – Таблица переходов D-триггера
Состояние
Код состояния
S
0
000
S
1
001
S
2
010
S
3
011
S
4
100
Q(t)Q(t+1)
D
0 → 0
0
0 → 1
1
1 → 0
0
1 → 1
1
       4) Кодирование состояний устройства
       Число разрядов кода состояния соответствует числу элементов памяти и
определяется по формуле: k =  log2 S  , где
       k – число разрядов (число элементов памяти)
       S – число внутренних состояний;
         - округление в большую сторону.
       В нашем случае для автомата Мура число состояний S = 6. Количество
разрядов кода состояния (число элементов памяти): K = ]log2S[ = ]log26[ = 3.
       Для автомата Мили число состояний S = 5. Количество разрядов кода
состояния (число элементов памяти): k = ]log2S[ = ]log25[ = 3.
       Таблицы кодировки состояний для автомата Мура и автомата Мили
приведены на рисунке 12, а) и б) соответственно.


      Состояние    Код состояния
         S0             000              Состояние    Код состояния
         S1             001                 S0             000
         S2             010                 S1             001
         S3             011                 S2             010
         S4             100                 S3             011
         S5             101                 S4             100

                  а)                                   б)

         Рисунок 12 - Таблицы кодировки состояний для автомата Мура а) и
                            автомата Мили б)

       5) Формирование функций        перехода, возбуждения и выходов
устройства
       По отмеченной ГСА или графу функционирования автомата, таблицы
кодировки состояний автомата и таблицы переходов триггеров строим таблицы
(или таблицу) функций перехода, возбуждения и выходов устройства.

     Таблица 2 – Таблица переходов D-триггера

        Q(t)Q(t+1)           D
          0 → 0               0
          0 → 1               1
          1 → 0               0
          1 → 1               1




20