В настоящее время хорошо известны две модели автоматов: автомат Мили и автомат Мура

В настоящее время хорошо известны две модели автоматов: автомат Мили и автомат Мура. Известна также модель автомата, в которой наборы выходных сигналов совпадают с кодами внутренних состояний автомата. Рассмотрим классы конечных автоматов, на основании которых определим структурные модели конечных автоматов.

Автомат Мили (MealyG.H.) класса А (Рис.7.1). Поведение автомата Мили описывается с помощью следующих уравнений:

где  φ – функция переходов определяет следующее внутренне состояние автомата (состояние перехода) at+1, ψ – функция выходов определяет формируемый выходной набор  Wt.  Характерным для автомата Мили является то, что выходной набор Wtзависит как от входного набора Zt, так и от внутреннего состояния at.

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

Ссылка на основную публикацию
Adblock detector