Animation is a powerful device for explaining abstract concepts.
We are developing a package of tools that present and communicate abstract computer science concepts in a more efficient, visual and interactive manner. Our tools allow students to design, visualize and experiment with formal languages, formal models of machines, and formal grammars. Specifically, the tools provide an environment for students to draw possible solutions pictorially, automatic animation of their designs, instantaneous verification checks, easy retrieval and storage of designs, and multiple windows for comparing related concepts. LLparse and LRparse - tools to create LL and LR parse tables, and to animate the parsing of strings. These tools are currently in use in teaching CPS 140.