Grundkurs Theoretische Informatik, Folie 3.1 © 2006 G. Vossen,K.-U. Witt
Grundkurs Theoretische Informatik
Kapitel 3
Gottfried VossenGottfried Vossen
Kurt-Ulrich WittKurt-Ulrich Witt
Grundkurs Theoretische Informatik, Folie 3.2 © 2006 G. Vossen,K.-U. Witt
Reguläre Sprachen
Reguläre Ausdrücke
Typ-3-Grammatiken
Eigenschaften regulärer Sprachen
Grundkurs Theoretische Informatik, Folie 3.3 © 2006 G. Vossen,K.-U. Witt
Automat, der die leere Sprache akzeptiert
Grundkurs Theoretische Informatik, Folie 3.4 © 2006 G. Vossen,K.-U. Witt
Automat, der die Sprache {} akzeptiert
Grundkurs Theoretische Informatik, Folie 3.5 © 2006 G. Vossen,K.-U. Witt
Automat, der die Sprache {a} akzeptiert
Grundkurs Theoretische Informatik, Folie 3.6 © 2006 G. Vossen,K.-U. Witt
„Konkatenation“ der Automaten B und C
Grundkurs Theoretische Informatik, Folie 3.7 © 2006 G. Vossen,K.-U. Witt
Parallelschalten der Automaten B und C
Grundkurs Theoretische Informatik, Folie 3.8 © 2006 G. Vossen,K.-U. Witt
„Kleene-Stern-Produkt“ des Automaten B
Grundkurs Theoretische Informatik, Folie 3.9 © 2006 G. Vossen,K.-U. Witt
Automat, der die Sprache {0} akzeptiert
Grundkurs Theoretische Informatik, Folie 3.10 © 2006 G. Vossen,K.-U. Witt
Weiterer Automat, der die Sprache {0} akzeptiert
Grundkurs Theoretische Informatik, Folie 3.11 © 2006 G. Vossen,K.-U. Witt
Automat, der die Sprache {1} akzeptiert
Grundkurs Theoretische Informatik, Folie 3.12 © 2006 G. Vossen,K.-U. Witt
Parallelschalten der Automaten aus den Abbildungen 3.8 und 3.9
Grundkurs Theoretische Informatik, Folie 3.13 © 2006 G. Vossen,K.-U. Witt
Kleene-Stern-Produkt des Automaten in Abbildung 3.10
Grundkurs Theoretische Informatik, Folie 3.14 © 2006 G. Vossen,K.-U. Witt
Hintereinanderschalten der Automaten der Bilder 3.7 und 3.11
Grundkurs Theoretische Informatik, Folie 3.15 © 2006 G. Vossen,K.-U. Witt
Zustandsdiagramm von A
Grundkurs Theoretische Informatik, Folie 3.16 © 2006 G. Vossen,K.-U. Witt
Zustandsdiagramm des Automaten aus Beispiel 3.11
Grundkurs Theoretische Informatik, Folie 3.17 © 2006 G. Vossen,K.-U. Witt
Zustandsdiagramm des Automaten aus Beispiel 3.12
Grundkurs Theoretische Informatik, Folie 3.18 © 2006 G. Vossen,K.-U. Witt
Automat, der die Sprache akzeptiert
Grundkurs Theoretische Informatik, Folie 3.19 © 2006 G. Vossen,K.-U. Witt
Automat, der die Sprache akzeptiert
Grundkurs Theoretische Informatik, Folie 3.20 © 2006 G. Vossen,K.-U. Witt
Automat, der die Sprache {x1 x2 ... xk} akzeptiert
Grundkurs Theoretische Informatik, Folie 3.21 © 2006 G. Vossen,K.-U. Witt
Automat, der die Sprache {1, ..., m} akzeptiert
Grundkurs Theoretische Informatik, Folie 3.22 © 2006 G. Vossen,K.-U. Witt
Automat, der die Sprache L1L2 akzeptiert
Grundkurs Theoretische Informatik, Folie 3.23 © 2006 G. Vossen,K.-U. Witt
Automat, der die Sprache L1L2 akzeptiert
Grundkurs Theoretische Informatik, Folie 3.24 © 2006 G. Vossen,K.-U. Witt
Abarbeiten des Wortes x = uvw
Grundkurs Theoretische Informatik, Folie 3.25 © 2006 G. Vossen,K.-U. Witt
Ende Kapitel 3Ende Kapitel 3