A java-based tool for reasoning about models of computation through simulating finite automata and turing machines

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

Volumn 31, Issue 1, 1999, Pages 105-109

  Robinson, Matthew B ^a   Hamshar, Jason A ^b   Novillo, Jorge E ^c   Duchowski, Andrew T ^d  

^a WebScope Inc   (United States)

^b Sterling Software   (United States)

^c SUNY POLYTECHNIC INSTITUTE   (United States)

^d CLEMSON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0010345928     PISSN: 00978418     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/384266.299704     Document Type: Article

References (18)

1. Astrachan, O. and Rodger, S.H. Animation, Visualization, and Interaction in CS 1 Assignments. In Twenty-ninth SIGSCE Technical Symposium on Computer Science Education, pages 317-321, 1998.
2. Barwise, J and Etchemedy, J. Turing's World, Stanford: CSLI Publications, New York: Cambridge University Press. 1993.
3. Bilska, A., Leider, K., Procopiuc, M., Procopiuc, Rodger, S., Salemme, J., Tsang, E. A Collection of Tools for Making Automata Theory and Formal Languages Come Alive. In Twenty-eighth SIGSCE Technical Symposium on Computer Science Education, pages 15-19, March, 1997.
4. Boroni, C.M., Goosey, F.W., Grinder, M.T., Ross, R.J. A Paradigm Shift! The Internet, the Web, Browsers, Java, and the Future of Computer Science Education. In Twenty-ninth SIGSCE Technical Symposium on Computer Science Education, pages 145-152, 1998.
5. Boroni, C.M., Goosey, F.W., Grinder, M.T., Ross, R.J., Wissenbach, P. WebLab! A Universal and Interactive Teaching, Learning, and Laboratory Environment for the World Wide Web. In Twenty-eighth SIGSCE Technical Symposium on Computer Science Education, pages 199-203, March, 1997.
6. Boroni, C.M., Eneboe J.T., Goosey F.W., Ross, J.A., Ross, R.J. Dancing with DynaLab: endearing the science of computing to students. In Twenty-seventh SIGSCE Technical Symposium on Computer Science Education, pages 135-139, 1996.
7. Cole, D., Wainwright, R., and Schoenefeld, D. Using Java to Develop Web Based Tutorials. In Twenty-ninth SIGSCE Technical Symposium on Computer Science Education, pages 92-96, 1998.
8. Hamshar, J.A. Capabilities of the Java Automata Toolkit. Technical documentation, 1997. Available at http://turing.sunyit.edu/JCT/JATFA.htm (last referenced 8/24/1998)
9. Hamshar, J.A. Turing Machine Capabilities defined within the Java Automata Toolkit, Technical documentation, 1998. Available at http://turing.sunyit. edu/JCT/JATTM.htm (last referenced 8/24/1998)
10. Hennie, F.C. Introduction to Computability, Reading, Mass.: Addison-Wesley, 1977.
11. Lewis, H., and Papadimitriou, C. Elements of the Theory of Computation, Second Edition, Prentice-Hall Inc., Upper Saddle River, New Jersey, 1998.
12. Pierson, W.C. and Rodger, S.H. Web-based Animation of Data Structures Using JAWAA. In Twenty-ninth SIGSCE Technical Symposium on Computer Science Education, pages 267-271, 1998.
13. Procopiuc, M. Procopiuc, O., and Rodger, S.H. Visualization and Interaction in the Computer Science Formal Languages Course with JFLAP. In 1996 Frontiers in Education Conference, Salt Lake City, Utah, pages 121-125, 1996.
14. Robinson, M.B. A Java-based Tool for Models of Computation, Master's Thesis, SUNY Institute of Technology, July 1998.
15. Rodger, S.H. Integrating Animations Into Courses. In ACM SIGCSE/SIGCUE Conference on Integrating Technology in Computer Science Education (Barcelona)(1996), pages 72-74.
16. Rodger, S.H. Integrating Hands-on Work into the Formal Languages Course via Tools and Programming. Lecture Notes in Computer Science 1260, Springer-Verlag,. pages 132-148, 1996.
17. Savoiu, N. Deus Ex Machina. Software accompanying Taylor, R.G. Models of Computation and Formal Languages, Oxford University Press: New York, 1997.
18. Turner, A.J. Technology in Computing Education: Yet Another Bandwagon?. In ACM SIGCSE/SIGCUE Conference on Integrating Technology in Computer Science Education, Working Group Reports and Supplemental Proceedings, pages 121-124, 1997.