Enhancing JFLAP with automata construction problems and automated feedback

2014 7th International Conference on Contemporary Computing, IC3 2014

Volumn , Issue , 2014, Pages 19-23

  Shekhar, Vinay S ^a   Agarwalla, Anant ^a   Agarwal, Akshay ^a   Nitish, B ^a   Kumar, Viraj ^a  

^a PES UNIVERSITY   (India)

Author keywords

Automatic problem generation and feedback; formal languages and automata; JFLAP

Indexed keywords

FORMAL LANGUAGES; STUDENTS;

AUTOMATED FEEDBACK; CONSTRUCTION PROBLEM; EDUCATIONAL SOFTWARE; FORMAL LANGUAGES AND AUTOMATA; INSTRUCTIONAL RESOURCES; INTERACTIVITY; JFLAP; TWO WAYS;

VISUAL LANGUAGES;

EID: 84908636938     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IC3.2014.6897141     Document Type: Conference Paper

References (17)

1. Joint Task Force on Computing Curricula, Association for Computing Machinery (ACM) and IEEE Computer Society, "Computer Science Curricula 2013: Curriculum Guidelines for Undergraduate Degree Programs in Computer Science", ACM, New York, NY, 2013
2. P. Chakraborty, P.C. Saxena, and C. P. Katti, "Fifty years of automata simulation: A review", ACM Inroads, Volume 2, Issue 4, p. 59-70, 2011
3. S. H. Rodger and T. W. Finley, "JFLAP-An Interactive Formal Languages and Automata Package", Jones and Bartlett, Sudbury, MA, 2006
4. JFLAP website: http://www.jflap.org
5. S. H. Roger, J. Lim, and S. Reading, "Increasing interaction and support in the formal languages and automata theory course", Innovation and Technology in Computer Science Education (ITiCSE 2007), pp. 58-62, 2007
6. N. Pillay, "Learning Difficulties Experienced by Students in a Course on Formal Languages and Automata Theory", SIGCSE Bulletin, vol. 41, no. 4, pp. 48-52, New York, NY, 2010
7. T. Smith, and R. McCartney, "Mathematization in teaching pumping lemmas", Frontiers in Education 2013, pp. 1671-1677, 2013
8. M. T. Grinder, "A Preliminary Empirical Evaluation of the Effectiveness of a Finite State Automaton Animator", SIGCSE Bulletin, vol. 35, no. 1, pp. 157-161, 2003
9. D. A. Norton, Algorithms for testing equivalence of finite automata, with a grading tool for JFLAP. Masters Project, Department of Computer Science, Rochester Institute of Technology, 2009. URL: https://ritdml.rit.edu/handle/1850/8712
10. R. Alur, L. D'Antoni, S. Gulwani, D. Kini, and M. Viswanathan, "Automated Grading of DFA Constructions", Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI'13), pp. 1976-1982, 2013
11. Wikipedia article "Theory of Computation" (accessed April 12, 2014): http://en.wikipedia.org/wiki/Theory-of-computation#Further-reading
12. J. A. Brzozowski, "Derivatives of regular expressions", J. ACM, vol. 11, no. 4, pp. 481-494, 1964
13. D. N. Arden, "Delayed logic and finite state machines", Theory of Computing Machine Design, pp. 1-35, University of Michigan Press, Ann Arbor (1960
14. Xeger library: https://code.google.com/p/xeger
15. John E. Hopcroft and Jeffrey D. Ullman, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley Publishing, Reading, Massachusetts, 1979
16. K. Beck, "Test-Driven Development: By Example", Addison-Wesley, Boston, Massachusetts, 2003
17. S. H. Edwards, "Using Software Testing to Move Students from Trialand-error to Reflection-in-action", SIGCSE Bulletin, vol. 36, no. 1, pp. 26-30, 2004.