<<
>>

Автоматы Мили и Мура

Автоматы Мили[49]и Мура[50]генерируют выходную последовательность символов. Автомат Мили генерирует её на переходах, а

автомат Мура - в состояниях. Поэтому говорят, что выходные воздействия автомата Мили зависят от состояний и входных воздействий, а выходные воздействия автомата Мура зависят только от состояний.

Определение. Автомат Мили - это шестерка ,где:

• Q- конечное множество состояний;

• s0 ∈ Q - начальное состояние;

• X- конечное множество входных воздействий;

• Y- конечное множество выходных воздействий;

• f Q?X→ Q - функция переходов;

• g:Q?X→ Y- функция генерации выходных воздействий.

Определение. Автомат Мура - это шестерка , где:

• Q- конечное множество состояний;

• s0 ∈ Q - начальное состояние;

• X- конечное множество входных воздействий;

• Y- конечное множество выходных воздействий;

• f Q?X→ Q - функция переходов;

• g:Q → Y - функция генерации выходных воздействий.

Любой автомат Мили может быть преобразован в эквивалентный ему автомат Мура и наоборот.

1.3.

<< | >>
Источник: Лукин Михаил Андреевич. Верификация автоматных программ. Диссертация на соискание ученой степени кандидата технических наук. Санкт-Петербург - 2014. 2014

Еще по теме Автоматы Мили и Мура:

  1. Оценка быстродействия коммутационного устройства при использовании параллельно-конвейерной диспетчеризации пакетов
  2. ИСТОЧНИКИ АДМИНИСТРАТИВНОГО ПРАВА.
  3. Сведения об авторах
  4. Некоторые вопросы реформирования административного правосудия в Кыргызской Республике
  5. Тема: ПРОИЗВОДСТВО В СУДЕ КАССАЦИОННОЙ ИНСТАНЦИИ
  6. О понятии финансового опциона
  7. § 2. Понятие и функции нотариата
  8. ГРИБОВСКАЯ Наталья Юрьевна. ЛЕКСИКА ТВЕРСКИХ ГОВОРОВ, ХАРАКТЕРИЗУЮЩАЯ ЧЕЛОВЕКА (СЕМАНТИКО-МОТИВАЦИОННЫЙ АСПЕКТ). Автореферат диссертации на соискание ученой степени кандидата филологических наук. Тверь - 2019, 2019
  9. 26. Возникновение гражданских правоотношений не предусмотренных в ГК
  10. П.2 Частотная зависимость условий существования объемных и эванес­центных волн TM- (ТЕ-) типа и соответствующих типов сечений ПВВ в коллинеарной фазе скомпенсированого ЛО АФМ с ЦАС. Полярная MOK
  11. 59 ВИДЫ И ФОРМЫ ДОГОВОРА.
  12. Микрополе «Речевая деятельность»
  13. Определение предела прочности при сжатии и при изгибе спеченных заготовок
  14. Смешивание исходных материалов
  15. Исследование микроструктуры и изломов закаленных низколегированных порошковых сталей
  16. Основные результаты и выводы