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

---

9.1.7 Кодирование с числом элементов памяти, равным числу состояний .

      Этот способ кодирования заключается в том, что каждому из l состояний автомата ставится в соответствие один элемент памяти. В каждый момент времени только один элемент памяти должен находиться в состоянии “1”, а остальные - в состоянии “0”, поскольку автомат может находиться только в одном состоянии. Пример кодирования пяти состояний описанным способом приведен в табл. 11. Используемый способ часто называют кодированием с применением кодов “один из l”. Следует отметить, что этот способ кодирования позволяет упростить процедуру построения функций возбуждения и функций выходов за счет исключения этапа минимизации. Остановимся на этом вопросе подробнее.

      Если для кодирования состояний используются l двоичных переменных у₁, y₂ , ..., y_l, то существует 2^l различных двоичных наборов значений этих переменных. Обозначим множество всех двоичных наборов Н. Разобьем это множество на l пересекающихся подмножеств H₁, H₂, ..., H_l таким образом, чтобы в каждое подмножество H_l входили 2^l-1 двоичных наборов, определяющих переключательную функцию вида y_i. В каждое подмножество H_i входит только один набор ~x_i, используемый при кодировании. Он состоит из l - 1 нуля и одной единицы, стоящей на i-м месте. При этом множество H_i ' = H_i - ~x_i, представляет собой совокупность неиспользованных двоичных наборов.
      Пусть автомат переходит из состояния s', которому приписан код ~x_i , в состояние s”, которому приписан код ~x_i, под действием набора входных сигналов d₁, d₂, ...,d_n. Если в качестве элемента памяти используется триггер D, то функция возбуждения, реализующая такой переход , имеет вид :

      Представим эту функцию следующим образом: y_k' = x₁^d₁ x₂^d₂ ... x_n^d_nc(у₁, y₂, ..., y_l). Функция c(у₁, y₂, ..., y_l). является неполностью определенной переключательной функцией. Доопределим ее единицами на всех наборах, входящих в множество H_i'. В результате получаем функцию, совокупность единичных наборов которой совпадает с множеством H_i. Согласно построению, такая функция является переменной y_i, поэтому имеем y_k' = x₁^d₁ x₂^d₂ ... x_n^d_n у_i
      Приведенные рассуждения показывают, что при выбранном способе кодирования каждый дизъюнктивный член функций возбуждения (функций выхода) содержит только одну внутреннюю переменную, определяющую соответствующее состояние автомата.

---

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