По полученному графу переходов автомата Мура получить эквивалентный схему автомата Мили Эквивалентность автоматов проверить на следующей последовательности входных сигналов: z1 z3 z1 z2 z1 z3 z1 z3

1. Теоретическая основа преобразования

Автомат Мура (Moore Machine) — это конечный автомат, выходной сигнал которого зависит только от текущего состояния. Автомат Мили (Mealy Machine) — это конечный автомат, выходной сигнал которого зависит от текущего состояния и текущего входного сигнала.

Структура автомата Мура (M)

• $Q$: Множество состояний.
• $\Sigma$: Множество входных сигналов.
• $\Delta$: Множество выходных сигналов.
• $\delta$: Функция переходов $\delta: Q \times \Sigma \rightarrow Q$.
• $\lambda_M$: Функция выходов $\lambda_M: Q \rightarrow \Delta$.
• $q_0$...