Grundkurs Theoretische Informatik, Folie 2.1 © 2006 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 2 Gottfried Vossen Kurt-Ulrich Witt

Grundkurs Theoretische Informatik, Folie 2.2 © 2006 G. Vossen,K.-U. Witt Endliche Automaten Deterministische endliche Automaten Nichtdeterministische endliche Automaten Endliche Automaten mit є-Übergängen Verallgemeinerte endliche Automaten Minimierung endlicher Automaten Anwendungen endlicher Automaten

Grundkurs Theoretische Informatik, Folie 2.3 © 2006 G. Vossen,K.-U. Witt Endlicher Automat als Black Box

Grundkurs Theoretische Informatik, Folie 2.4 © 2006 G. Vossen,K.-U. Witt Zustandsdiagramm des Eintrittsautomaten A Eintritt

Grundkurs Theoretische Informatik, Folie 2.5 © 2006 G. Vossen,K.-U. Witt Startkonfiguration von A Eintritt

Grundkurs Theoretische Informatik, Folie 2.6 © 2006 G. Vossen,K.-U. Witt Ausführung des Eintrittsprogramms (1)

Grundkurs Theoretische Informatik, Folie 2.7 © 2006 G. Vossen,K.-U. Witt Ausführung des Eintrittsprogramms (2)

Grundkurs Theoretische Informatik, Folie 2.8 © 2006 G. Vossen,K.-U. Witt Ausführung des Eintrittsprogramms (3)

Grundkurs Theoretische Informatik, Folie 2.9 © 2006 G. Vossen,K.-U. Witt Konfiguration eines endlichen Automaten

Grundkurs Theoretische Informatik, Folie 2.10 © 2006 G. Vossen,K.-U. Witt Zustandsdiagramm für die Dreiergruppen

Grundkurs Theoretische Informatik, Folie 2.11 © 2006 G. Vossen,K.-U. Witt Zustandsdiagramm für Folgen von Dreiergruppen

Grundkurs Theoretische Informatik, Folie 2.12 © 2006 G. Vossen,K.-U. Witt Zustandsdiagramm für A 3b

Grundkurs Theoretische Informatik, Folie 2.13 © 2006 G. Vossen,K.-U. Witt Zustandsdiagramm für A 3b total

Grundkurs Theoretische Informatik, Folie 2.14 © 2006 G. Vossen,K.-U. Witt Zustandsdiagramm für A 1

Grundkurs Theoretische Informatik, Folie 2.15 © 2006 G. Vossen,K.-U. Witt Zustandsdiagramm für A 1d

Grundkurs Theoretische Informatik, Folie 2.16 © 2006 G. Vossen,K.-U. Witt Zustandsdiagramm von A

Grundkurs Theoretische Informatik, Folie 2.17 © 2006 G. Vossen,K.-U. Witt Zustandsdiagramm von A abc

Grundkurs Theoretische Informatik, Folie 2.18 © 2006 G. Vossen,K.-U. Witt Schematische Darstellung eines endlichen Automaten A

Grundkurs Theoretische Informatik, Folie 2.19 © 2006 G. Vossen,K.-U. Witt Ergebnis der Transformation nach dem ersten Schritt A 1

Grundkurs Theoretische Informatik, Folie 2.20 © 2006 G. Vossen,K.-U. Witt - Zykel

Grundkurs Theoretische Informatik, Folie 2.21 © 2006 G. Vossen,K.-U. Witt Reduktion des - Zykels auf einen Zustand

Grundkurs Theoretische Informatik, Folie 2.22 © 2006 G. Vossen,K.-U. Witt -Übergang

Grundkurs Theoretische Informatik, Folie 2.23 © 2006 G. Vossen,K.-U. Witt Einfügen eines direkten Übergangs für den -Übergang

Grundkurs Theoretische Informatik, Folie 2.24 © 2006 G. Vossen,K.-U. Witt Zustandsdiagramm von A abc

Grundkurs Theoretische Informatik, Folie 2.25 © 2006 G. Vossen,K.-U. Witt Zustandsdiagramm von A 1

Grundkurs Theoretische Informatik, Folie 2.26 © 2006 G. Vossen,K.-U. Witt Zustandsdiagramm von A 4

Grundkurs Theoretische Informatik, Folie 2.27 © 2006 G. Vossen,K.-U. Witt Zustandsdiagramm für { a } *

Grundkurs Theoretische Informatik, Folie 2.28 © 2006 G. Vossen,K.-U. Witt Zustandsdiagramm für { b } *

Grundkurs Theoretische Informatik, Folie 2.29 © 2006 G. Vossen,K.-U. Witt Zustandsdiagramm für { c } *

Grundkurs Theoretische Informatik, Folie 2.30 © 2006 G. Vossen,K.-U. Witt Zustandsdiagramm, das das Wort abba erkennt

Grundkurs Theoretische Informatik, Folie 2.31 © 2006 G. Vossen,K.-U. Witt Ein Übergang, der das Wort abba erkennt

Grundkurs Theoretische Informatik, Folie 2.32 © 2006 G. Vossen,K.-U. Witt Zustandsübergang für das Wort v = v 1 v 2... v k

Grundkurs Theoretische Informatik, Folie 2.33 © 2006 G. Vossen,K.-U. Witt Zustandsübergangsfolge für das Wort v = v 1 v 2... v k

Grundkurs Theoretische Informatik, Folie 2.34 © 2006 G. Vossen,K.-U. Witt Isomorphie von A 1 und A 2

Grundkurs Theoretische Informatik, Folie 2.35 © 2006 G. Vossen,K.-U. Witt Ein zu minimierender Automat

Grundkurs Theoretische Informatik, Folie 2.36 © 2006 G. Vossen,K.-U. Witt Zustandsdiagramm des zu A minimalen Automaten A min

Grundkurs Theoretische Informatik, Folie 2.37 © 2006 G. Vossen,K.-U. Witt Prozesszustände und -übergänge

Grundkurs Theoretische Informatik, Folie 2.38 © 2006 G. Vossen,K.-U. Witt Automat, der v = {v 1 }) * {v 1... v l } akzeptiert

Grundkurs Theoretische Informatik, Folie 2.39 © 2006 G. Vossen,K.-U. Witt Automat A v, der { 0 } * { } akzeptiert

Grundkurs Theoretische Informatik, Folie 2.40 © 2006 G. Vossen,K.-U. Witt Vervollständigter Automat A v

Grundkurs Theoretische Informatik, Folie 2.41 © 2006 G. Vossen,K.-U. Witt Beispiel zur dynamischen Modellierung in UML

Grundkurs Theoretische Informatik, Folie 2.42 © 2006 G. Vossen,K.-U. Witt Zustand mit Aktivität

Grundkurs Theoretische Informatik, Folie 2.43 © 2006 G. Vossen,K.-U. Witt Allgemeines Beispiel für ein Interaktionsdiagramm

Grundkurs Theoretische Informatik, Folie 2.44 © 2006 G. Vossen,K.-U. Witt Interaktionsdiagramm für den Eintrittsautomaten

Grundkurs Theoretische Informatik, Folie 2.45 © 2006 G. Vossen,K.-U. Witt Zustandsdiagramm von A

Grundkurs Theoretische Informatik, Folie 2.46 © 2006 G. Vossen,K.-U. Witt Ende Kapitel 2