Using theoretical computer simulators for formal languages and automata theory

ABSTRACT

Both formal languages and automata theory (FLAT) are core to the CS curricula but are difficult to teach and to learn. This situation has motivated the development of a number of theoretical computer simulators as educational tools to allow students to "bring to life" many topics that traditionally were presented only mathematically. This paper discusses the main features of software tools currently freely available via the Internet for teaching FLAT. Based on our practical experience, the tradeoffs between different FLAT software tools is analyzed and discussed. We conclude with general recommendations for integrating FLAT software tools into an established curriculum.

REFERENCES

• 1: Augusto, J.C. Fundamentos de Ciencias de la Computación -- Notas de Curso. Universidad Nacional del Sur, Argentina, (1995).
• 2: 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, ACM SIGCSE Bulletin, v.29 n.1, p.15-19, March 1997
• 3: Estrebou, F. et al. Minerva: Una Herramienta Para un Curso de Lenguajes Formales y Autómatas. Latinamerican Conference in Informatics (CLEI), Montevideo, Uruguay, (2002).
• 4: Eric Gramond , Susan H. Rodger, Using JFLAP to interact with theorems in automata theory, ACM SIGCSE Bulletin, v.31 n.1, p.336-340, March 1999
• 5: Michael T. Grinder, Animating automata: a cross-platform program for teaching finite automata, ACM SIGCSE Bulletin, v.34 n.1, March 2002
• 6: Michael T. Grinder , Seong B. Kim , Teresa L. Lutey , Rockford J. Ross , Kathleen F. Walsh, Loving to learn theory: active learning modules for the theory of computing, ACM SIGCSE Bulletin, v.34 n.1, March 2002
• 7: Ted Hung , Susan H. Rodger, Increasing visualization and interaction in the automata theory course, ACM SIGCSE Bulletin, v.32 n.1, p.6-10, Mar. 2000
• 8: John E. Hopcroft , Jeffrey D. Ullman, Introduction To Automata Theory, Languages, And Computation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
• 9: Harry R. Lewis , Christos H. Papadimitriou , Christos Papadimitriou, Elements of the Theory of Computation, Prentice Hall PTR, Upper Saddle River, NJ, 1997
• 10: LoSacco, M. and S.H. Rodger. FLAP: A Tool for Drawing and Simulating Automata. ED-MEDIA (1993).
• 11: Jennifer McDonald, Interactive Pushdown Automata Animation, ACM SIGCSE Bulletin, v.34 n.1, March 2002
• 12: Procopiuc, M., O. Procopiuc, and S.H. Rodger. Visualization and Interaction in the Computer Science Formal Languages Course with JFLAP. ASEE/IEEE Frontiers in Education (FIE) Conference, (1996).
• 13: Matthew B. Robinson , Jason A. Hamshar , Jorge E. Novillo , Andrew T. Duchowski, A Java-based tool for reasoning about models of computation through simulating finite automata and Turing machines, The proceedings of the thirtieth SIGCSE technical symposium on Computer science education, p.105-109, March 24-28, 1999, New Orleans, Louisiana, United States
• 14: 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
• 15: R. Gregory Taylor, Models of computation and formal languages, Oxford University Press, Oxford, 1998
• 16: Gregory S. Wolffe , William Yurcik , Hugh Osborne , Mark A. Holliday, Teaching computer organization/architecture with limited resources using simulators, ACM SIGCSE Bulletin, v.34 n.1, March 2002