grundkurs theoretische informatik, folie 2.1 © 2006 g. vossen,k.-u. witt grundkurs theoretische...
TRANSCRIPT
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