Teaching A u t o m a t a T h e o r y w i t h J F L A P Susan H. R o d g e r Duke University An a u t o m a t a t h e o r y course can be t a u g h t in an interactive m a n n e r using tools, allowing students to receive i m m e d i a t e feedback. We describe the tool J F L A P [4] and its interactive use in experimenting with a u t o m a t a , grammars, and regular expressions. Special features include building and executing nondeterministic machines and studying the proofs of theorems t h a t focus on conversions of languages from one form to another. We also m e n t i o n several other tools for increasing the interaction in this course. Overview of JFLAP J F L A P (Jav~ version of Formal Languages and A u t o m a t a Package) is an i n s t r u c t i o n a l
/lp/association-for-computing-machinery/teaching-automata-theory-with-jflap-zATx9Dof4E