A simulator for deterministic finite state automatons which supports a graphical construction of DFAs, their simulation, an autocomplete function, a minimization function and an image export.
Authors:
Fabian Bürger (184923), burger@cc.joensuu.fi
Kai Winnekens (184931), winneken@cc.joensuu.fi