$ unisuite-cs --module afe

Automaten, formale Sprachen und Entscheidbarkeit (AFE)

Endliche Automaten (DFA, NFA), Reguläre Ausdrücke, Kontextfreie Grammatiken, Turingmaschinen und Berechenbarkeit.

Automaten-Simulator (DFA & NFA)

Trace-Visualisierung

Zustände $Q$ (kommagetrennt):

Startzustand $q_0$:

Endzustände $F$:

Übergänge $\delta$ (Format: Zustand, Zeichen -> Folgezustand):

Für Epsilon-Übergänge (NFA) nutze als Zeichen 'e' oder 'epsilon'.

Eingabewort $w$ (Zeichen kommagetrennt oder direkt z.B. a, b, a):