Abstrakte Automaten in Printmedien HS Zittau Görlitz Michael Hielscher II02
Inhaltsverzeichnis Problemstellung Vorhandene Lösungen AutoEdit Automaten Definition Zustandsübergangsgraphen Simulation Anbindung
Problemstellung
Problemstellung
Derzeitige Softwarelösungen Bildbearbeitungen Photoshop, Visio … Simulationstools JFLAP, Deus Ex Machine … Erlauben Überprüfung des Automaten auf Gültigkeit Arbeitsweise des Automaten kann simuliert werden Transformationen möglich Nur Bildschirmpräsentation
JFLAP als Simulationstool
AutoEdit
Automaten Definition XML Format für Automaten Trennung von Definition und Layout (Speicherung mit oder ohne Layoutdaten möglich) Definition ist vollständig:
Automaten Definition
Zustandsübergangsgraphen
Simulation Automaten können in drei Formen simuliert werden: Animierter Zustandsgraph mit Zustandsfolgetabelle Scheme Quellcode VCC Export (KfG)
Anbindung
Danke für Ihre Aufmerksamkeit Steht kostenlos zum Download bereit www.genesis-x7.de Danke für Ihre Aufmerksamkeit