Handout - Institut für Theoretische Informatik - Technische ...

Endliche Automaten
Weitere Beispiele
Beispiel
L = { w ∈ {0, 1} ∗ : |w| 0 , |w| 1 gerade } wird von folgendem Automaten
erkannt:
start
q 0
1
1
q1
0 0 0 0
1
q 2 q 3
1
Beispiel
Welche Sprache erkennt dieser Automat
start
q 0
1
1
q1
0 0 0 0
1
q 2 q 3
1
Offenbar L ′ = { w ∈ {0, 1} ∗ : |w| 0 gerade ∧ |w| 1 ungerade }
Jürgen Koslowski (TU-BS) Theoretische Informatik 1 WS 2010/2011 29 / 191