Grundkurs Theoretische Informatik, Folie 3.1 © 2004 G. Vossen,K.-U. Witt

Grundkurs Theoretische Informatik

Kapitel 3

Gottfried VossenGottfried Vossen

Kurt-Ulrich WittKurt-Ulrich Witt

Grundkurs Theoretische Informatik, Folie 3.2 © 2004 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 © 2004 G. Vossen,K.-U. Witt

Automat, der die leere Sprache akzeptiert

Grundkurs Theoretische Informatik, Folie 3.4 © 2004 G. Vossen,K.-U. Witt

Automat, der die Sprache {} akzeptiert

Grundkurs Theoretische Informatik, Folie 3.5 © 2004 G. Vossen,K.-U. Witt

Automat, der die Sprache {a} akzeptiert

Grundkurs Theoretische Informatik, Folie 3.6 © 2004 G. Vossen,K.-U. Witt

„Konkatenation“ der Automaten B und C

Grundkurs Theoretische Informatik, Folie 3.7 © 2004 G. Vossen,K.-U. Witt

Parallelschalten der Automaten B und C

Grundkurs Theoretische Informatik, Folie 3.8 © 2004 G. Vossen,K.-U. Witt

„Kleene-Stern-Produkt“ des Automaten B

Grundkurs Theoretische Informatik, Folie 3.9 © 2004 G. Vossen,K.-U. Witt

Automat, der die Sprache {0} akzeptiert

Grundkurs Theoretische Informatik, Folie 3.10 © 2004 G. Vossen,K.-U. Witt

Weiterer Automat, der die Sprache {0} akzeptiert

Grundkurs Theoretische Informatik, Folie 3.11 © 2004 G. Vossen,K.-U. Witt

Automat, der die Sprache {1} akzeptiert

Grundkurs Theoretische Informatik, Folie 3.12 © 2004 G. Vossen,K.-U. Witt

Parallelschalten der Automaten aus den Bildern 3.8 und 3.9

Grundkurs Theoretische Informatik, Folie 3.13 © 2004 G. Vossen,K.-U. Witt

Kleene-Stern-Produkt des Automaten in Bild 3.10

Grundkurs Theoretische Informatik, Folie 3.14 © 2004 G. Vossen,K.-U. Witt

Hintereinanderschalten der Automaten der Bilder 3.7 und 3.11

Grundkurs Theoretische Informatik, Folie 3.15 © 2004 G. Vossen,K.-U. Witt

Zustandsdiagramm von A

Grundkurs Theoretische Informatik, Folie 3.16 © 2004 G. Vossen,K.-U. Witt

Zustandsdiagramm des Automaten aus Beispiel 3.11

Grundkurs Theoretische Informatik, Folie 3.17 © 2004 G. Vossen,K.-U. Witt

Zustandsdiagramm des Automaten aus Beispiel 3.12

Grundkurs Theoretische Informatik, Folie 3.18 © 2004 G. Vossen,K.-U. Witt

Automat, der die Sprache akzeptiert

Grundkurs Theoretische Informatik, Folie 3.19 © 2004 G. Vossen,K.-U. Witt

Automat, der die Sprache akzeptiert

Grundkurs Theoretische Informatik, Folie 3.20 © 2004 G. Vossen,K.-U. Witt

Automat, der die Sprache {x1 x2 ... xk} akzeptiert

Grundkurs Theoretische Informatik, Folie 3.21 © 2004 G. Vossen,K.-U. Witt

Automat, der die Sprache {1, ..., m} akzeptiert

Grundkurs Theoretische Informatik, Folie 3.22 © 2004 G. Vossen,K.-U. Witt

Automat, der die Sprache L1L2 akzeptiert

Grundkurs Theoretische Informatik, Folie 3.23 © 2004 G. Vossen,K.-U. Witt

Automat, der die Sprache L1L2 akzeptiert

Grundkurs Theoretische Informatik, Folie 3.24 © 2004 G. Vossen,K.-U. Witt

Automat, der L* akzeptiert

Grundkurs Theoretische Informatik, Folie 3.25 © 2004 G. Vossen,K.-U. Witt

Abarbeiten des Wortes x = uvw

Grundkurs Theoretische Informatik, Folie 3.26 © 2004 G. Vossen,K.-U. Witt

Ende Kapitel 3Ende Kapitel 3