Пред.Страница След.Страница Раздел Содержание
Пример 4. Закодировать состояние
автомата, переходы которого заданы таблицей 8.
Построим инверсную таблицу переходов (таблица 9). По этой таблице находим, что состояния: (s0, s2), (s1, s2), (s1, s4), (s1, s3) , (s2, s3)- являются соседями первого рода, а состояния: (s0, s4) и (s3, s4) - соседями второго рода. Диаграмма Вейча с выбранным вариантом кодирования приведена на рис. 9.20.б. При таком кодировании не учитываются соседи первого рода (s1, s4) и (s1, s3). Коды состояния для этого варианта приведены в таблице 10, а функции возбуждения имеют вид:
y1' = ù x
Úù y1ù y3;
y2' = ù
y3ù x;
y3' =ù y3Ú y2 Ú xy1 Úù xù y1 .
В заключении заметим, что при работе с описанным методом остаются неясными
несколько моментов. Например: какими из соседей следует пренебречь, если все
соседства закодировать требуемым способом нельзя; как лучше располагать пары
соседних кодов, соответствующие соседям, друг относительно друга; каким образом
лучше располагать состояния на диаграмме.
Пред.Страница След.Страница Раздел Содержание