References

  1. Christopher W. Brown & Eric A. Hardisty (2007): RegeXeX: an interactive system providing regular expression exercises. In: SIGCSE '07: Proceedinds of the 38th SIGCSE technical symposium on Computer science education. ACM Press, New York, NY, USA, pp. 445–449, doi:10.1145/1227310.1227462.
  2. Carl Eastlund & Matthias Felleisen (2009): Automatic Verification for Interactive Graphical Programs. In: Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and Its Applications, ACL2 '09. ACM, New York, NY, USA, pp. 33–41, doi:10.1145/1637837.1637843.
  3. Michael T. Grinder (2003): A Preliminary Empirical Evaluation of the Effectiveness of a Finite State Automaton Animator. SIGCSE Bull. 35(1), pp. 157–161, doi:10.1145/792548.611958.
  4. Shriram Krishnamurthi (2006): EDUCATIONAL PEARL: Automata via Macros. J. Funct. Program. 16(3), pp. 253–267, doi:10.1017/S0956796805005733.
  5. Harry R. Lewis & Christos H. Papadimitriou (1997): Elements of the Theory of Computation, 2nd edition. Prentice Hall PTR, Upper Saddle River, NJ, USA.
  6. P. Linz (2012): An Introduction to Formal Languages and Automata, 5th edition. Jones & Bartlett Learning.
  7. J.C. Martin (2003): Introduction to Languages and the Theory of Computation. McGraw-Hill Series in Computer Science. McGraw-Hill.
  8. \voidb@x The Coq Development Team (2004): The Coq Proof Assitance Reference Manual. LogiCal Project. Available at http://coq.inria.fr. Version 8.0.
  9. Phil Race (2001): Using Feedback to Help Students Learn. Available at http://www.heacademy.ac.uk/resources/detail/resource_database/id432_using_feedback.
  10. Susan H. Rodger, Eric Wiebe, Kyung Min Lee, Chris Morgan, Kareem Omar & Jonathan Su (2009): Increasing Engagement in Automata Theory with JFLAP. SIGCSE Bull. 41(1), pp. 403–407, doi:10.1145/1539024.1509011.
  11. Michael Sipser (2013): Introduction to the Theory of Computation, 3rd edition. Cengage Learning.
  12. Timothy M. White & Thomas P. Way (2006): jfast: A java finite automata simulator. In: In Thirty-seventh SIGCSE Technical Symposium on Computer Science Education, pp. 384–388, doi:10.1145/1121341.1121460.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org