Geschrieben von Karlito am 03.04.2014 um 10:51:
Hallo ycraM,
Du bist hier genau richtig. Ich würde trotz der Aufgabenstellung den Automaten erst einmal zeichnen. Die Frage ist, was es denn für ein Automat sein soll. NEA oder DEA (bzw. NFA oder DFA mit den englischen Bezeichungen). Ich mache das mal exemplarisch für den NEA:
Binärzahlen, welche ohne Rest durch 2 Teilbar sind bilden folgende Sprache:
Wir nehmen uns also einen Automaten, mit zwei Zuständen. S.Anhang. Dazu die formale Definition eines Automaten von Wikipedia:
Um den Automaten voll auszuspezifizieren müssen wir nun die Mengen
und
definieren.
ist die Menge der Zustände. In unserem Fall wäre das
ist das Eingabealphabet. In unserem Fall wäre das
ist die Übergangsrelation. Damit werden alle Transitionen im Automaten angegeben. Das macht man, indem man eine Menge von partiellen Übergangsfunktionen angibt. Für unseren Fall:
. Man gibt also an, aus welchem Zustand sich mit welcher Eingabe welcher Folgezustand ergibt.
ist der Startzustand. Das wäre bei uns
Nun fehlt nur noch die Menge der Finalzustände
. Da es hier nur einen Finalzustand gibt ist das trivialerweise
Damit ist der Automat voll spezifiziert.
Ich hoffe das hilft. Wenn noch fragen sind, helfe ich gerne.
VG,
Karlito