Hessen Automata Library

A library for automata and regular expression manipulation.

More contents soon to come ... In the meantime, browse the source and our sample instances or check out the subversion repository via https://svn.forsyte.informatik.tu-darmstadt.de/svn/automata.