Синтез КА
Модель Мура
Весом дуги будет значение входного сигнала , инициирующего переход.
Т.к. выходной сигнал в момент времени t определяется исключительно текущим состоянием автомата , то обозначение выходного синала присваивается вершине Si , соответствующей состоянию , в котором этот сигнал формируется.
Таблица переходов/выходов , в отличии от модели Милли не разделяется на две подтаблицы - переходов и выходов, поскольку каждому состоянию соответствует определенное значение выходного сигнала независимо от сигналов на входе. Входные сигналы влияют только на переходы автомата, т.е. под воздействием входного набора КА переходит из текущего состояния S(t) в состояние S(t+1)
Синтез КА
Модель Мура
Напр. смотрим
3 строчка : входной сигнал , то автомат переходит из сотояния S1 в сотояние S2, затем из S2 в сотояние S0 (т.е. двигаемся по таблице слева направо) и соответственно по графу.
Аналогично можно рассмотреть другие строчки.
Конечные автоматы Автомат Мура
Алгоритмы Конечные автоматы
Эквивалентность автоматов Милли и Мура
Переход от автомата Милли к автомату Мура
Эквивалентность автоматов Мура и
МиллиАвтоматы Мура и Милли эквивалентны. Можно переходить от одной модели автомата к другой.
Напр. рассмотрим переход от автомата Мура к автомату Милли.
Выходной сигнал переноситься из вершины на соответствующую дугу. Напр. из вершины cоответствующее состоянию S1=q1 выходной сигнал w2 = Z2 переноситься на предыдущую дугу (и ставиться через дробь), т.к. именно сигнал p2=c2
перевел автомат из состояния s0=q0 в состояние S1=q1
Аналогично переносятся выходные сигналы из других вершин.
Алгоритмы Конечные автоматы
Алгоритмы Конечные автоматы
Задача синтеза : построить КА с заданными входными данными , заданным поведением (напр. через табл. переходов).
Задача анализа: наоборот по заданному автомату определить поведение .
Задача минимизации: построить автомат минимальный заданному, при этом полученный автомат эквивалентен заданному.
Абстрактный синтез КА
Исходными данными являются таблица соответствия между входными и выходными сигналами.
Результатом синтеза являются абстактный автомат построенный в виде графа и таблицы переходов-выходов.
Этапы синтеза:
1.Построение по алфавитному оператору КА.
2.Минимизация числа состояний КА.
.
Алгоритмы Конечные автоматы
Конечный автомат называется детерминированным (ДКА) если Pj содержит не более одного состояния
Конечный автомат называется недетерминированным (НДКА) если Pj содержит более одного состояния