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

Endliche Automaten Endliche Automaten über X und die von ihnen erkannten Sprachen
Beispiel
Für einen Automaten A = 〈{q 0 , q 1 , q 2 }, {0, 1}, δ, {q 0 }, {q 2 }〉 können wir
δ durch Auflisten der Relationen, tabellarisch oder mittels eines Graphen
mit markierten Kanten angeben (Mehrfachlabel sind zulässig):
δ(0) = {〈q 0 , q 0 〉, 〈q 1 , q 2 〉, 〈q 2 , q 0 〉}
δ(1) = {〈q 0 , q 1 〉, 〈q 1 , q 1 〉, 〈q 2 , q 1 〉, 〈q 2 , q 0 〉}
0
start
q 0
0, 1
1
1
q 2
q 1
0
1
Zustand 0 1
q 0 q 0 q 1
q 1 q 2 q 1
q 2 q 0 q 0 , q 1
Zustand 0 1
q 0 q 0 q 1 I
q 1 q 2 q 1
q 2 q 0 q 0 , q 1 F
I und F lassen sich leicht zusätzlich in der Tabelle markieren.
Welche Sprache L(A) erkennt der Automat A
Während z.B. 0110 erkannt wird, gilt das für 0101 nicht.
Jürgen Koslowski (TU-BS) Theoretische Informatik 1 WS 2010/2011 25 / 191