Пред.Страница  След.Страница   Раздел   Содержание

Полученный результат показывает, что кодирование соседей первого рода соседними кодами обеспечивает получение более простого аналитического выражения функций возбуждения за счет склеивания элементарных конъюнкций, соответствующих соседям.

Рис. 9.19. Соседи второго рода

Определение. Если состояния sk и sj являются соседями первого рода и под действием одного и того же сигнала x' автомат переходит из состояния sk в состояние sk', а из состояния sj - в состояние sj', то состояния sk' и sj' называют соседями второго рода.

      Фрагмент графа автомата, иллюстрирующий это определение, приведен на рис. 9.19. Нетрудно заметить, что элементарные конъюнкции, соответствующие соседям первого рода, одновременно войдут также в те функции возбуждения yi', значения которых определяются компонентами di = 1 и di ' = 1. Для того чтобы такие элементарные конъюнкции вошли в большое число функций возбуждения, необходимо кодировать состояния sk' и sj' кодами, обладающими наибольшим числом совпадающих единиц. Следовательно, состояния, являющиеся соседями второго рода, следует кодировать также соседними кодами, поскольку эти коды всегда имеют наибольшее число совпадающих компонентов.
      Практическое определение соседей первого и второго рода удобно выполнять по инверсной таблице переходов. Строки такой таблицы, как обычно, отмечаются состояниями автомата, а столбцы - входными сигналами. В каждую клетку таблицы, соответствующую состоянию si и входному сигналу х, заносятся все состояния, из которых автомат выполняет переход в si под действием х. Из способа построения инверсной таблицы переходов следует, что состояния, расположенные в одной клетке такой таблицы, являются соседями первого рода.
      Определение соседей второго рода выполняется по инверсной таблице переходов следующим образом. Если состояния s' и s” являются соседями первого рода и если эти два состояния встречаются в таблице еще раз в разных строках и в одном и том же столбце, то состояния si и sj, отмечающие строки, в которых расположены s' и s”, являются соседями второго рода. 

Пред.Страница  След.Страница   Раздел   Содержание