Главная страница Случайная страница
Разделы сайта
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
Кодирование состояний.
|
|
Производится так же, как и у автомата Мили (см. п.1.1). (Узлы 
не кодируются).
В данном примере — автомат с пятью состояниями, для кодирования которого необходимо не менее трех двоичных разрядов. Память состояний на RS триггерах. Коды состояний:
k(b0)=000
k(b1)=001
k(b2)=010
k(b3)=011
k(b4)=100
k(b5)=101
Обратная структурная таблица.
Строится так же, как и для автомата Мили. Вначале описываются переходы в узлы, затем остальные переходы автомата.
Таблица 4.
| № | bm | k(bm) | bs | k(bs) | X(bm, bs) | Y(bm, bs) | F(bm, bs) |
| b0 | 
| 
| — | — | |||
| b1 | — | — | |||||
| b2 | 
| — | — | ||||
| b3 | 
| — | — | ||||
| b4 | 
| — | — | ||||
|
| 
| — | — | ||||
| b0 | b0 | 
| y6 | — | |||
| b3 | 
| y6 | R1R0 | ||||
| b4 |
| y6 | R2 | ||||
|
| b1 | 
| y1y4y5 | S0 | |||
|
| b2 | 
| y1y2y3 | S1R0 | |||
|
| b3 | 
| y1y2y5 | R2S1S0 | |||
|
| b4 | 
| y3y4y5 | S2R1R0 |
Если переход в некоторое состояние bs происходит из узла , то в автомате с памятью на RS триггерах значения Ri и Si в обратной структурной таблице записываются с учетом кодов состояний bm из которых был переход в узел .
На рис.4 показано, как определить значения Ri и Si для нашего примера. Например, переход в b1 возможен через узел 
из состояний b0 (k(b0)=000) и b1 (k(b1)=001). Из рис.3 видно, чтобы обеспечить оба перехода в b1, необходимо выработать сигнал S0, устанавливающий триггер T0 в состояние логической единицы.
Рис. 4. Схема определения значений Ri и Si.
|
|