Grundkurs Theoretische Informatik, Folie 3.1 © 2004 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 3 Gottfried Vossen Kurt-Ulrich Witt.

Präsentation zum Thema: "Grundkurs Theoretische Informatik, Folie 3.1 © 2004 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 3 Gottfried Vossen Kurt-Ulrich Witt."—  Präsentation transkript:

1 Grundkurs Theoretische Informatik, Folie 3.1 © 2004 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 3 Gottfried Vossen Kurt-Ulrich Witt

2 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

3 Grundkurs Theoretische Informatik, Folie 3.3 © 2004 G. Vossen,K.-U. Witt Automat, der die leere Sprache akzeptiert

4 Grundkurs Theoretische Informatik, Folie 3.4 © 2004 G. Vossen,K.-U. Witt Automat, der die Sprache { } akzeptiert

5 Grundkurs Theoretische Informatik, Folie 3.5 © 2004 G. Vossen,K.-U. Witt Automat, der die Sprache { a } akzeptiert

6 Grundkurs Theoretische Informatik, Folie 3.6 © 2004 G. Vossen,K.-U. Witt Konkatenation der Automaten B und C

7 Grundkurs Theoretische Informatik, Folie 3.7 © 2004 G. Vossen,K.-U. Witt Parallelschalten der Automaten B und C

8 Grundkurs Theoretische Informatik, Folie 3.8 © 2004 G. Vossen,K.-U. Witt Kleene-Stern-Produkt des Automaten B

9 Grundkurs Theoretische Informatik, Folie 3.9 © 2004 G. Vossen,K.-U. Witt Automat, der die Sprache { 0 } akzeptiert

10 Grundkurs Theoretische Informatik, Folie 3.10 © 2004 G. Vossen,K.-U. Witt Weiterer Automat, der die Sprache { 0 } akzeptiert

11 Grundkurs Theoretische Informatik, Folie 3.11 © 2004 G. Vossen,K.-U. Witt Automat, der die Sprache { 1 } akzeptiert

12 Grundkurs Theoretische Informatik, Folie 3.12 © 2004 G. Vossen,K.-U. Witt Parallelschalten der Automaten aus den Bildern 3.8 und 3.9

13 Grundkurs Theoretische Informatik, Folie 3.13 © 2004 G. Vossen,K.-U. Witt Kleene-Stern-Produkt des Automaten in Bild 3.10

14 Grundkurs Theoretische Informatik, Folie 3.14 © 2004 G. Vossen,K.-U. Witt Hintereinanderschalten der Automaten der Bilder 3.7 und 3.11

15 Grundkurs Theoretische Informatik, Folie 3.15 © 2004 G. Vossen,K.-U. Witt Zustandsdiagramm von A

16 Grundkurs Theoretische Informatik, Folie 3.16 © 2004 G. Vossen,K.-U. Witt Zustandsdiagramm des Automaten aus Beispiel 3.11

17 Grundkurs Theoretische Informatik, Folie 3.17 © 2004 G. Vossen,K.-U. Witt Zustandsdiagramm des Automaten aus Beispiel 3.12

18 Grundkurs Theoretische Informatik, Folie 3.18 © 2004 G. Vossen,K.-U. Witt Automat, der die Sprache akzeptiert

19 Grundkurs Theoretische Informatik, Folie 3.19 © 2004 G. Vossen,K.-U. Witt Automat, der die Sprache akzeptiert

20 Grundkurs Theoretische Informatik, Folie 3.20 © 2004 G. Vossen,K.-U. Witt Automat, der die Sprache { x 1 x 2... x k } akzeptiert

21 Grundkurs Theoretische Informatik, Folie 3.21 © 2004 G. Vossen,K.-U. Witt Automat, der die Sprache { 1,..., m } akzeptiert

22 Grundkurs Theoretische Informatik, Folie 3.22 © 2004 G. Vossen,K.-U. Witt Automat, der die Sprache L 1 L 2 akzeptiert

23 Grundkurs Theoretische Informatik, Folie 3.23 © 2004 G. Vossen,K.-U. Witt Automat, der die Sprache L 1 L 2 akzeptiert

24 Grundkurs Theoretische Informatik, Folie 3.24 © 2004 G. Vossen,K.-U. Witt Automat, der L * akzeptiert

25 Grundkurs Theoretische Informatik, Folie 3.25 © 2004 G. Vossen,K.-U. Witt Abarbeiten des Wortes x = uvw

26 Grundkurs Theoretische Informatik, Folie 3.26 © 2004 G. Vossen,K.-U. Witt Ende Kapitel 3