Working Title: Cetacea
A tool for creating finite automatons. It also demonstrates a minimization and determiniziation algorithm.
Requires at least Java 1.6 to run and a Java plugin for your browser.
For a quickguide please scroll down.
A german manual can be found here: Cetacea Manual
The certificate is needed for accessing the clipboard and saving PNG images to the HD.
Known Bugs:
- On reloading the page one cannot delete states and edges and it is not possible to rename them. (reported on: Java 1.6_05, Firefox 3.5, WinXP)... deleting the ClassLoader Cache via the Java-Console and reloading the page solves the Problem. The JVM Version 1.6_15 solves this problem!
Found a new Bug?
- Please check here if someone else reported the bug already.
- If not, please report the bug.
Quickguide:
- You can only place one start state. (by using one of the two leftmost buttons)
- To place transitions (edges) click on the "edge" button and then on one previously placed states. The edge will be a self loop to the selected state.
- You can rename states by double clicking on them. (use "enter" to confirm the change, clicking outside of the text will cancel the editing, same applies for changing edges)
- If you double click on an edge you can edit the value(s) of the transition. They are comma separated values. If left blank it counts as an epsilon transition.
- Not double connected edges are ignored in the calculation if the automaton is determenistic or not.
- You can delete states and edges by selecting them and pressing the delete key.
TODOs:
- Manual correction
- Analyse ob der Automat minimal ist
- Icons (50%)
- Minimalisierung
- undo/redo
- ...
