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

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

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

Page 1: Abstrakte Automaten in Printmedien HS Zittau Görlitz Michael Hielscher II02.

Abstrakte Automatenin Printmedien

HS Zittau GörlitzMichael Hielscher II02

Page 2: Abstrakte Automaten in Printmedien HS Zittau Görlitz Michael Hielscher II02.

Inhaltsverzeichnis

Problemstellung Vorhandene Lösungen AutoEdit

Automaten DefinitionZustandsübergangsgraphenSimulationAnbindung

Page 3: Abstrakte Automaten in Printmedien HS Zittau Görlitz Michael Hielscher II02.

Problemstellung

Page 4: Abstrakte Automaten in Printmedien HS Zittau Görlitz Michael Hielscher II02.

Problemstellung

Page 5: Abstrakte Automaten in Printmedien HS Zittau Görlitz Michael Hielscher II02.

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

Page 6: Abstrakte Automaten in Printmedien HS Zittau Görlitz Michael Hielscher II02.

JFLAP als Simulationstool

Page 7: Abstrakte Automaten in Printmedien HS Zittau Görlitz Michael Hielscher II02.

AutoEdit

Page 8: Abstrakte Automaten in Printmedien HS Zittau Görlitz Michael Hielscher II02.

Automaten Definition

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

Definition ist vollständig:

XML Format für Automaten

Page 9: Abstrakte Automaten in Printmedien HS Zittau Görlitz Michael Hielscher II02.

Automaten Definition

Page 10: Abstrakte Automaten in Printmedien HS Zittau Görlitz Michael Hielscher II02.

Zustandsübergangsgraphen

Page 11: Abstrakte Automaten in Printmedien HS Zittau Görlitz Michael Hielscher II02.

Simulation Automaten können in

drei Formen simuliert werden: Animierter

Zustandsgraph mit Zustandsfolgetabelle

Scheme Quellcode VCC Export (KfG)

Page 12: Abstrakte Automaten in Printmedien HS Zittau Görlitz Michael Hielscher II02.

Anbindung

Page 13: Abstrakte Automaten in Printmedien HS Zittau Görlitz Michael Hielscher II02.

Danke für Ihre Aufmerksamkeit

Steht kostenlos zum Download bereit www.genesis-x7.de