100 Übungsaufgaben zu Grundlagen der Informatik, Bd. I - Kap. 2: Endliche Automaten ohne Ausgabe

Der vorliegende Vorlesungszuschnitt beschäftigt sich mit endlichen Automaten ohne Ausgabe, die im Gegensatz zu endlichen Automaten mit Ausgabe eine Klassifizierungsfunktionalität besitzen. Formal berechnen sie Funktionen aus der Menge aller Wörter über einem Alphabet E in die Menge {true, false} und definieren dabei eine Sprache, die durch die Menge der Wörter gegeben ist, die bei der Berechnung true ergeben. Diese wird als (akzeptierte) Sprache des endlichen Automaten bezeichnet. Die Aufzeichnung beschreibt den Unterschied zwischen deterministischen und nichtdeterministischen endlichen Automaten ohne Ausgabe und zeigt, dass die jeweiligen zugehörigen Sprachklassen gleich sind.