JFLAP: An Interactive Formal Languages and Automata Package