Susan H. Rodger from the Computer Science Department at Duke University has compiled this website describing research on "designing tools for visualizing and interacting with theoretical computer science concepts." The graphical tools may be used as an aid for learning the basic concepts of Formal Languages and Automata Theory. Most of the tools are available to download or can be obtained by contacting the researchers as noted on the linked websites. References and copies of some recent papers are also posted on this website.