Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- Automatentheorie (http://www.informatikerboard.de/board/board.php?boardid=13)
----- Automat M formal darstellen (http://www.informatikerboard.de/board/thread.php?threadid=1474)


Geschrieben von Nunzio am 21.04.2013 um 21:37:

  Automat M formal darstellen

Meine Frage:
Hallo,

ich soll einen Automaten formal darstellen, ich kenne zwar die Komponenten die benötigt werden, aber ich weiß nicht, ob ich z.B. eine konkrete Zahl als Sigma einsetzen kann oder eben nicht.

Meine Ideen:
Kann mir jemand ein anhand eines Beispiels zeigen, wie man einen Automaten formal aufschreibt? Ich würde euch dann meine Aufgabe vorrechnen.



Geschrieben von Karlito am 22.04.2013 um 13:52:

 

Hallo,

ein Automat kann grafisch representiert werden. Das ist aus meiner Sicht schon formal korrekt.

Weiterhin gibt es die Möglichkeit einen Automaten als ein n-Tupel zu Notieren. Dies ist hier beschrieben.

Ich persönlich kenne nur die 5-Tupel-Variante. Die andere Variante müsste ich mir noch einmal anschauen, wenn das erforderlich ist.

Hilft das erstmal?

VG,

Karlito


Forensoftware: Burning Board, entwickelt von WoltLab GmbH