Abstrakte Automaten in Printmedien HS Zittau Görlitz Michael Hielscher II02

Abstrakte Automatenin Printmedien

HS Zittau GörlitzMichael Hielscher II02

Inhaltsverzeichnis

Problemstellung Vorhandene Lösungen AutoEdit

Automaten DefinitionZustandsübergangsgraphenSimulationAnbindung

Problemstellung

Problemstellung

Derzeitige Softwarelösungen

BildbearbeitungenPhotoshop, Visio …

SimulationstoolsJFLAP, 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

Trennung von Definition und Layout (Speicherung mit oder ohne Layoutdaten möglich)

Definition ist vollständig:

XML Format für Automaten

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