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

ABSTRACT

Interactive visualization tools for models of computation provide a more compelling means of exploration and feedback than traditional paper and pencil methods in theory of computation courses. The Java Computability Toolkit (JCT) is introduced here as a new teaching aide and as an exploratory student's supplement to a course on theory of computation. JCT consists of two Java multiple-window, web-accessible, graphical environments, allowing the construction and simulation of finite automata and Turing machines. This paper discusses JCT's use, design, and applications in teaching.

REFERENCES

• 1: Owen Astrachan , Susan H. Rodger, Animation, visualization, and interaction in CS 1 assignments, Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education, p.317-321, February 26-March 01, 1998, Atlanta, Georgia, United States
• 2: Barwise, J and Etchcmedy, J. Turing's World, Stanford: CSLI Publications, New York: Cambridge University Press. 1993.
• 3: Susan H. Rodger , Anna O. Bilska , Kenneth H. Leider , Magdalena Procopiuc , Octavian Procopiuc , Jason R. Salemme , Edwin Tsang, A collection of tools for making automata theory and formal languages come alive, Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education, p.15-19, February 27-March 01, 1997, San Jose, California, United States
• 4: Christopher M. Boroni , Frances W. Goosey , Michael T. Grinder , Rockford J. Ross, A paradigm shift! The Internet, the Web, browsers, Java and the future of computer science education, Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education, p.145-152, February 26-March 01, 1998, Atlanta, Georgia, United States
• 5: Rockford J. Ross , Christopher M. Boroni , Frances W. Goosey , Michael Grinder , Paul Wissenbach, WebLab! A universal and interactive teaching, learning, and laboratory environment for the World Wide Web, Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education, p.199-203, February 27-March 01, 1997, San Jose, California, United States
• 6: Christopher M. Boroni , Torlief J. Eneboe , Frances W. Goosey , Jason A. Ross , Rockford J. Ross, Dancing with DynaLab: endearing the science of computing to students, Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education, p.135-139, February 15-17, 1996, Philadelphia, Pennsylvania, United States
• 7: David Cole , Roger Wainwright , Dale Schoenefeld, Using Java to develop Web based tutorials, Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education, p.92-96, February 26-March 01, 1998, Atlanta, Georgia, United States
• 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: Fred C. Hennie, Introduction to Computability, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1977
• 11: Harry R. Lewis , Christos H. Papadimitriou , Christos Papadimitriou, Elements of the Theory of Computation, Prentice Hall PTR, Upper Saddle River, NJ, 1997
• 12: Willard C. Pierson , Susan H. Rodger, Web-based animation of data structures using JAWAA, Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education, p.267-271, February 26-March 01, 1998, Atlanta, Georgia, United States
• 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: Susan H. Rodger, Integrating animations into courses, Proceedings of the 1st conference on Integrating technology into computer science education, p.72-74, June 02-06, 1996, Barcelona, Spain
• 16: Susan H. Rodger, Integrating Hands-on Work into the Formal Languages Course via Tools and Programming, Revised Papers from the First International Workshop on Implementing Automata, p.132-148, August 29-31, 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: Joe Turner, Technology in computing education: yet another bandwagon?, The supplemental proceedings of the conference on Integrating technology into computer science education: working group reports and supplemental proceedings, p.121-124, June 01-05, 1997, Uppsala, Sweden [doi>10.1145/266057.266134]

INDEX TERMS

Primary Classification:
  F. Theory of Computation
  F.1 COMPUTATION BY ABSTRACT DEVICES

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

General Terms:
Documentation