Ein Automat soll Eingaben bezüglich bestimmter Eigenschaften unterscheiden. Dies wird realisiert durch das Akzeptanzverhalten des Automaten, das in diesem Kapitel genauer unter die Lupe genommen wird. Demonstriert wird dies mit Hilfe des Programms JFLAP, das diese Untersuchung vereinfacht.¹⁾.

Nach der Bearbeitung dieses Kapitels kannst du …

• die Begriffe „akzeptieren“ und „verwerfen“ verstehen und erläutern.
• untersuchen, ob ein Automat ein Wort akzeptiert oder verwirft.
• Automatenmodelle in JFLAP überführen und testen.