Finite automata and regular expressions manipulator.