Automata Toolbox: ToDo

rekursive Funktionen

Aussagenlogik

reguläre Ausdrücke, endliche Automaten

(done) Eindeutigkeit prüfen (Linksableitungen)

(done) Automaten (Keller-, Turing-)


best viewed with any browser


http://www.informatik.uni-leipzig.de/~joe/ mailto:joe@informatik.uni-leipzig.de