Grammar, automata and regular expressions manipulator.