Hallo Bernhard,

Ich habe mir Deinen Automaten mal angeschaut und fand ihn an einer Stelle etwas widersprüchlich, von q(0) gehst Du mit "a" nach q(0) und nach q(2) ("b" --> q(0) und q(1)) gleichzeitig gehst Du aus q(2) mit "b" nach q(1), aber mit "a" nicht aus q(1) nach q(2), somit kann der Automat parallel in unter Umständen in zwei Zuständen sein, oder im Fall, daß er in q(1) ist in keinen Zustand wechseln, obwohl ein legales Element vorhanden ist.

<img src="http://www.wt-akademie.at/automat.jpg" alt="">

Ich würde daher eher folgenden Automaten vorschlagen:

a,b
                        ---------
                              
                              
  ########          ########    
  #      #  a,b     #      #    
  # q(0) #---------># q(1) #<----
  #      #<---------#      #
  ########   c      ########

(Ich hoffe, daß diese ASCII-Grafik geklappt hat.)

Folgender Ausdruck liegt dabei zugrunde:

((ab)[c])*

Legende:
() ==> Eines der Elemente aus der Klammer
[]  ==> kann vorkommen, muß aber nicht
*   ==> Wiederholung (zwischen 0 und n)

Bis denndann

Michael N.