АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

Преобразование автомата Мили в автомат Мура

Читайте также:
  1. Cкоростная автоматическая обработка
  2. LC автогенератор с автоматическим смещением
  3. XVIII Преобразование те карст в созерцанием
  4. Автомат управления дачным водопроводом
  5. Автомати... Администр. обновление
  6. Автоматизация гидродинамических процессов.
  7. Автоматизация и роботизация
  8. Автоматизация измерений
  9. Автоматизация компрессора. Центробежный компрессор.
  10. Автоматизация логистических процессов предприятия
  11. Автоматизация нефтяных скважин.
  12. Автоматизация офисной деятельности

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

Граф автомата Мили имеет следующий вид:

Рис. 7.10

В автомате Мили Xa = {x1, x2}, Ya = {y1, y2}, Aa = {a0, a1, a2}.

В эквивалентном автомате Мура Xb = Xa = {x1, x2}, Yb = Ya = {y1, y2}.

Построим множество состояний Ab автомата Мура, для чего найдем множества пар, порождаемых каждым состоянием автомата Sa.

Состояние Порождаемые пары
a0 {(a0, y1), (a0, y2)} = {b1, b2}
a1 {(a1, y1)} = {b3}
a2 {(a2, y1), (a2, y2)} = {b4, b5}

Отсюда имеем множества Ab состояний автомата Мура Ab = {b1, b2, b3, b4, b5}. Для нахождения функции выходов lb с каждым состоянием, представляющим собой пару вида (ai, yg), отождествим выходной сигнал, являющийся вторым элементом этой пары. В результате имеем:

lb(b1) = lb(b3) = lb(b4) = y1; lb(b2) = lb(b5) = y2.

Построим функцию переходов db. Так как в автомате Sa из состояния a0 есть переход под действием сигнала x1 в состояние a2 с выдачей y1,то из множества состояний {b1, b2}, порождаемых a0, в автомате Sb должен быть переход в состояние (a2, y1) = b4 под действием сигнала x1. Аналогично, из {b1, b2} под действием x2 должен быть переход в (a0, y1) = b1. Из (a1, y1) = b3 под действием x1 переход в (a0, y1) = b1, а под действием x2 – в (a2, y2) = b5. Наконец из состояний {(a2, y1), (a2, y2)} = {b4, b5} под действием x1 в (a0, y2) = b2, а под действием x2 – в (a1, y1) = b3. В результате имеем граф (рис. 7.11) и таблицу переходов эквивалентного автомата Мура.

Рис. 7.11. Граф эквивалентного автомата Мура

yg y1 y2 y1 y1 y2
xj\bj b1 b2 b3 b4 b5
x1 b4 b4 b1 b2 b2
x2 b1 b1 b5 b3 b3

 

 

В качестве начального состояния автомата Sb можно взять любое из состояний b1 или b2, так как оба порождены состоянием a0 автомата Sa.


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 |

Поиск по сайту:

Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.003 сек.)