Ein Moore-Automat ist ein endlicher Automat, dessen Ausgabefunktion im Gegensatz zum Mealy-Automaten ausschließlich von seinem Zustand abhängt. Er kann als 7-Tupel $\backslash mathcal\{A\}\; =\; \backslash left(\; Q,\; \backslash Sigma,\; \backslash Omega,\; \backslash delta,\; \backslash lambda,\; q\_0,\; F\; \backslash right)$ definiert werden:

• $Q$ ist eine endliche Menge von Zuständen ().
• $\backslash Sigma$ ist das Eingabealphabet. , $Q\; \backslash cap\; \backslash Sigma\; =\; \backslash empty$
• $\backslash Omega$ ist das Ausgabealphabet.
• $\backslash delta$ ist die Übergangsfunktion $\backslash delta\; :\; Q\; \backslash times\; \backslash Sigma\; \backslash rightarrow\; Q$
• $\backslash lambda$ definiert die Ausgabe: $\backslash lambda:\; Q\; \backslash rightarrow\; \backslash Omega$
• $q\_0\; \backslash in\; Q$ ist der Startzustand.
• $F\; \backslash subseteq\; Q$ ist eine (endliche) Menge möglicher akzeptierender Zustände (= Endzustandsmenge). Wenn der Automat nach Lesen des Eingabewortes $J\; \backslash in\; \backslash Sigma^*$ in einem Zustand aus $F$ hält, so gehört J zur Sprache $L\backslash left(A\backslash right)$.

Die Anzahl der Zustände eines Moore-Automaten ist größer-gleich der Anzahl der Zustände des entsprechenden Mealy-Automaten.

Die Benennung geht zurück auf den Mathematiker Edward F. Moore (1925-2003).

Siehe auch

• Mealy-Automat
• Deterministischer endlicher Automat

Automatentheorie

Moore machine | ムーア・マシン | Automat Moore'a | Máquina de Moore | Moore有限状态机