Deterministischer endlicher Automat

Einfache Sprache

Def. Deterministischer endlicher Automat

Ein deterministischer endlicher Automat (DEA) ist eine Struktur $(Q,A,\delta,q_I,F)$ mit:

• $Q$ endliche Menge -> Zustände oder Zustandsmenge
• $A$ endliche Menge -> Eingabesymbole oder Eingabealphabet
• $\delta:Q\times A\rightarrow Q$ -> Transitionsfunktion
• $q_I\in Q$ -> Startzustand
• $F\subseteq Q$ -> Menge der Endzustände

Die erweiterte Transitionsfunktion ist analog wie bei der Sequenzielle Maschine definiert.