Trap

... ist ein Werkzeug zur Bearbeitung und Analyse endlicher Automaten und regulärer Ausdrücke (Download).

Automaten-Simulation
Entscheidungsalgorithmen
Python-Export

Systembeschreibung

  • Graphische Bearbeitung von endlichen Automaten (deterministische, nichtdeterministische und Epsilon-Automaten) und regulären Ausdrücken
  • Test- und Simulationsmöglichkeiten
  • Schnittstelle zur Python-Shell zum Export und Import von Automaten und Ausdrücken
  • Implementierung von Umwandlungsalgorithmen und Abschlusseigenschaften, u.a. Komplement, Iteration, inverse Homomorphismen, Spiegelung, Minimierung
  • Automatisches Zeichnen von Transitionsdiagrammen, mit Schnittstelle zu GraphViz
  • Entscheidungsalgorithmen für DEAs (Leerheit, Endlichkeit, Permutationsfreiheit, Punkttiefe 1/2)
  • PDF-Export
Heinz Schmitz,  1. April 2015
Seitenaufrufe: 22106