Horst: Teilmengenkonstruktion bei Automaten

Beitrag lesen

Hallo zusammen,

hoffe es kann mir jemand helfen:
Wie funktioniert die Teilmengenkonstruktion bei Automaten?
Beispiel für einen Automaten:
(s0, a) = s1
(s0, b) = s2
(s1, a) = s1
(s1, b) = s1
(s2, a) = s2, s3
(s2, b) = s2

oder tabellarisch:
  | a       b
---------------
s0| s1      s2
s1| s1      s1
s2| s2,s3   s2

Man muß mittels der Teilmengenkonstruktion den deterministischen
Automaten finden.

Ich habe im Netz auch schon einiges gefunden, leider steht
fast überall: es ist so leicht... (z.B. http://520046051430-0001.bei.t-online.de/endliche_automaten.htm
leider verstehe ich es trotzdem nicht.

Mit Grüßen
der Horst