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

Grundkurs Theoretische Informatik

Kapitel 2

Gottfried VossenGottfried Vossen

Kurt-Ulrich WittKurt-Ulrich Witt

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

Endliche Automaten

Deterministische endliche AutomatenNichtdeterministische endliche AutomatenEndliche Automaten mit є-ÜbergängenVerallgemeinerte endliche AutomatenMinimierung endlicher AutomatenAnwendungen 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 AEintritt

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

Startkonfiguration von AEintritt

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 A3b

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

Zustandsdiagramm für A3b

total

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

Zustandsdiagramm für A1

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

Zustandsdiagramm für A1d

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 Aabc

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 A1

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 Aabc

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

Zustandsdiagramm von A1

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

Zustandsdiagramm von A4

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 = v1v2 ... vk

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

Zustandsübergangsfolge für das Wort v = v1v2 ... vk

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

Isomorphie von A1 und A2

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 Amin

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 = {v1})* {v1 ... vl } akzeptiert

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

Automat Av, der {0}*{10101} akzeptiert

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

Vervollständigter Automat Av

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 2Ende Kapitel 2