jFAST: a java finite automata simulator
A visual and interactive automata theory course with JFLAP 4.0