VisA: A Tool for Visualizing and Animating Automata and Formal Languages

Extended Abstract
  • Markus Holzer
  • Muriel Quenzer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1547)


The use of multimedia tools in education has gained a lot of interest during the last decade (see, e.g., [1]). Free standing multimedia as well as tutorials distributed via the Internet provide the potential for students to learn on their own, at their own pace, and in their own sequence, whereas textbooks or instructors usually impose a sequence how to learn the material. Besides general reasons for using multimedia tools in education the computer provides an excellent opportunity to explain and visualize complex subjects with an abstract theoretical background.


  1. [1]
    B. Cassel and G. Davies, editors. Integrating Technology into Computer Science, volume 28 of A CMSIGCSE Bulletin. ACM, 1996.Google Scholar
  2. [2]
    M. Holzer and M. Quenzer. VIsA: Towards a students’ green card to automata theory and formal languages. In P. Strooper, editor, ACM Proceedings of the 3th Australasian Conference on Computer Science Education, pages 67–75, The Univeristy of Queensland, Brisbane, Australia, 1998.CrossRefGoogle Scholar
  3. [3]
    J. E. Hopcroft and J. D. Ullman. Formal Languages and Their Relation to Automata. Addison-Wesley, 1968.Google Scholar
  4. [4]
    D. Wood. Theory of Computation. John Wiley & Sons, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Markus Holzer
    • 1
  • Muriel Quenzer
    • 2
  1. 1.Wilhelm-Schickard Institut für InformatikUniversität TübingenTübingenGermany
  2. 2.Soluz GmbHReutlingenGermany

Personalised recommendations