Using JFLAP to interact with theorems in automata theory

SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education)

Volumn 31, Issue 1, 1999, Pages 336-340

  Gramond, Eric ^a   Rodger, Susan H ^a  

^a DUKE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0001730515     PISSN: 00978418     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/384266.299800     Document Type: Article

References (11)

1. A. Badre, C. Lewis, and J. Stasko, Empirically Evaluating the Use of Animations to Teach Algorithms, Proceedings of the 1994 IEEE Symposium on Visual Languages, p. 48-54, 1994.
2. J. Barwise and J. Etchemendy, Turing's World 3.0 - An Introduction to Computability Theory, 1993.
3. A. O. Bilska, K. H. Leider, M. Procopiuc, O. Procopiuc, S. H. Rodger, J. R. Salemme and E. Tsang, A Collection of Tools for Making Automata Theory and Formal Languages Come Alive, Twenty-eighth SIGCSE Technical Symposium on Computer Science Education, p. 15-19, 1997.
4. C. Boroni, F. Goosey, M. Grinder, R. Ross and P. Wissenbach, WebLab! A Universal and Interactive Teaching, Learning, and Laboratory Environment for the World Wide Web, Twenty-eighth SIGCSE Technical Symposium on Computer Science Education, p. 199-203, 1997.
5. M. Brown, ZEUS: A System for algorithm animation and multi-view editing. Proceedings of the IEEE 1991 Workshop on Visual Languages, p. 4-9, Kobe, Japan, Oct. 1991.
6. P. Gloor, AACE - Algorithm Animation for Computer Science Education, IEEE Workshop on Visual Languages, p. 25-31, 1992.
7. H. Lewis, C. Papadimitriou, Elements of the Theory of Computation, Second Edition, Prentice Hall, 1998.
8. P. Linz, An Introduction to Formal Languages and Automata, Second Edition, D. C. Heath and Company, 1996.
9. W. Pierson and S. H. Rodger, Web-based Animations of Data Structures Using JAWAA, Twenty-ninth SIGCSE Technical Symposium on Computer Science Education, p. 267-271, 1998.
10. M. Procopiuc, O. Procopiuc, and S. Rodger, Visualization and Interaction in the Computer Science Formal Languages Course with JFLAP, 1996 Frontiers in Education Conference, Salt Lake City, Utah, p. 121-125, 1996.
11. J. Stasko, Tango: A Framework and System for Algorithm Animation, IEEE Computer, p.27-39, September 1990.