Формальные языки, грамматики и автоматы1 / Konspekt / SECTION9 / part916d

АРИФМЕТИЧЕСКИЕ И ЛОГИЧЕСКИЕ ОСНОВЫ ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ Пред.Страница  След.Страница   Раздел   Содержание

      Ниже приводятся два примера, поясняющие описанный способ кодирования состояний.

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

y2' = щ y3щ x;

y3' =щ y3Ъ y2 Ъ xy1 Ъщ xщ y1 .

      В заключении заметим, что при работе с описанным методом остаются неясными несколько моментов. Например: какими из соседей следует пренебречь, если все соседства закодировать требуемым способом нельзя; как лучше располагать пары соседних кодов, соответствующие соседям, друг относительно друга; каким образом лучше располагать состояния на диаграмме.  Пред.Страница  След.Страница   Раздел   Содержание