Enhancing JFLAP with automata construction problems and automated feedback
Derivatives of Regular Expressions