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

Der vorliegende Vorlesungszuschnitt beschäftigt sich mit einem einfachen Berechnungsmodell, den endlichen Automaten. Bei diesen stehen im Laufe einer Berechnung endlich viele verschiedene Zustände zur Verfügung, die in einer vordefinierten Weise abhängig von der Eingabe durchlaufen werden. Dabei geht diese Aufzeichnung hauptsächlich auf endliche Automaten mit Ausgabe ein. Es wird zwischen Moore- und Mealy-Automaten unterschieden. Moore-Automaten erzeugen bei jedem Besuch eines Zustands ein Zeichen aus einem Ausgabealphabet als Ausgabe und Mealy-Automaten bei jedem Wechsel von einem Zustand zu einem anderen. Für die beiden Automatentypen mit Ausgabe werden verschiedene Beispiele vorgestellt.