Quintupel eines DEA
Ein Transitionssystem A = (Q, Σ, q₀, δ, F) bezeichnet man als deterministischen endlichen Automaten (DEA), wenn dieses (unter Eingabe eines Zeichens aus dem Eingabealphabet) von einem Zustand in einen eindeutig bestimmten Folgezustand wechselt.
Fahre mit der Maus über die Bestandteile Q, Σ, q₀, δ, F des Transitionssystems A und erkunde Schritt für Schritt die Definition eines deterministischen endlichen Automaten.
Quintupel eines DEA