Технология цифровой связи

Проектирование цифровой линии

Эквивалентные автоматы. Эквивалентные преобразования автоматов

Если в автомате Мили SA был переход A (am, xf) = as и при этом выдавался выходной сигнал A (am,xf) =yg, то в SB будет переход из множества состояний Am, порождаемых am, в состояние (as,yg) под действием входного сигнала xf.

В качестве начального состояния a0B можно взять любое из состояний множества A0, которое порождается начальным состоянием a0 автомата SA. При этом выходной сигнал в момент времени t=0 не должен учитываться.

Рассмотрим пример. Пусть задан автомат Мили (табл.1.10.)

Таблица 10

Таблица 11

A

x1

x2

X

А

x1

x2

a0

a2/y1

a0/у1

a0

b0

a2/y1

b01

a0/y1

b02

a1

a0/y1

а2/y2

a1

a0/y1 b11

а2/y2

b12

a3

a0/y2

a1/y1

a2

a0/y2

b21

a1/y1

b22

Поставим в соответствие каждой паре аi/xk состояние Ьik (i-номер состояния, k-номер входного сигнала), с учетом b0.

Составим таблицу переходов автомата Мура, руководствуясь следующими правилами:

1) Выпишем из таблицы 1.11 состояния автомата Мили и соответствующие каждому из них множества состояний автомата Мура (bik):

а0= {b0, b02, b11, b21}; a1= {b22}; а2= {b01, b12};

2) Если состояние автомата Мура bik входит в множество, соответствующее состоянию аp автомата Мили, то в строку таблицы переходов автомата Мура для состояния bik следует записать строку из таблицы переходов автомата Мили, соответствующую состоянию ар (из 1.10.).

3) Функцию выходов автомата Мура определим следующим образом: B (bik) =A (аi, xk). Для начального состояния b0 значение выходного сигнала можно выбрать произвольно, но порождаемый начальным состоянием a0 (с учетом понятия эквивалентности состояний). Результирующая таблица переходов и выходов автомата Мура эквивалентного автомату Мили, заданному таблицей 1.10 представлена в таблице 1.12.

4) Найдем в таблице 1.12 эквивалентные состояния и удалим их (заменим на представителя класса эквивалентности).

Если выходной сигнал возле b0 доопределить y1, то окажется, что в данной таблице переходов находится 3 эквивалентных состояния (b0,b11,b02). Заменив класс эквивалентности одним представителем (b0), получим окончательную таблицу переходов (табл.1.13). Перейти на страницу: 1 2 3


Другое по теме:

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