JFLAP an interactive formal languages and automata package - Rodger, Susan H. (Jones and Bartlett, 2006)