Bestimmen Sie einen (nicht-deterministischen) endlichen Automat, der alle Worte über Σ = {a, b} akzeptiert, die mit a beginnen und als zweitletztes Zeichen ein b besitzen.
- Zeichnen Sie die graphische Darstellung des NEA und geben Sie die Überführungsfunktion in tabellarischer Form an.
- Erzeugen Sie mit Hilfe des Teilmengen-Konstruktion den zugehörigen deterministischen Automat und zeichnen Sie ihn.