Didactic strategies for promoting significant learning in formal languages and automata theory

Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education

Volumn , Issue , 2004, Pages 7-11

  Chesñevar, Carlos I ^a   Gonzalez, Maria P ^a   Maguitman, Ana G ^b  

^a UNIVERSITY OF LLEIDA   (Spain)

^b INDIANA UNIVERSITY   (United States)

Author keywords

Automata Theory; Constructivism; Formal Languages

Indexed keywords

AUTOMATA THEORY; COMPUTER ARCHITECTURE; COMPUTER SCIENCE; COMPUTER SOFTWARE; DECISION MAKING; FORMAL LANGUAGES; KNOWLEDGE ACQUISITION; MATHEMATICAL MODELS;

CONSTRUCTIVISM; DIDACTIC STRATEGIES; FORMAL LANGUAGES AND AUTOMATA THEORY (FLAT); SIGNIFICANT LEARNING;

LEARNING SYSTEMS;

EID: 10044290768     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1007996.1008002     Document Type: Conference Paper

References (20)

1. H. Aebli. Denken: Das Ordnen des Tuns - Kognitive Aspekte der Handlungstheorie / Denkprozesse. Klett-Cotta, Stuttgart, 1980.
2. M. Ben-Ari. Constructivism in computer science education. Journal of Computers in Mathematics & Science Teaching, 20(1):45-73, 2001.
3. J. Bruner. Toward a Theory of Instruction. Harvard Univ. Press, 1966.
4. J. Bruner. Actual Minds, Possible Worlds. Harvard Univ. Press, 1986.
5. J. Bruner. Act of Meaning. Harvard Univ. Press, 1990.
6. M. Burgin. How We Know What Technology Can Do. Comm. of the ACM, 44(11):83-88, Nov. 2001.
7. C. I. Chesñevar, M. L. Cobo, and W. Yurcik. Using theoretical computer simulators for formal languages and automata automata theory. ACM SIGCSE Bulletin, 35(2):33-37, June 2003.
8. R. Davis, C. Maher, and N. Noddings. (Eds.) Constructivist views of the teaching and learning of mathematics. National Council for Teaching Mathematics, 1990.
9. F. Estrebou, M. Lanza, V. Mauco, R. Barbuzza, and L. Fabre. Minerva: Una herramienta para un curso de lenguajes formales y autómatas. In Proc. of the Latinamerican Conf. in Informatics (CLEI). Montevideo, Uruguay, 2002.
10. L. D. Fink. Creating Significant Learning Experiences : An Integrated Approach to Designing College Courses. Jossey-Bass, 2003.
11. E. Gramond and S. Rodger. Using jflap to interact with theorems in automata theory. ACM SIGCSE Bulletin, 31(1):336-340, 1999.
12. O. Hazzan. Reducing abstraction level when learning computability theory concepts. In ACM, editor, Proc. of the ITICSE, pages 156-160. ACM, June 2002.
13. J. E. Hopcroft, R. Motwani, and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Pearson Education, 2001.
14. H. Lewis and C. Papadimitriou. Elements of the Theory of Computation (2nd.Ed.). Prentice Hall, 1998.
15. J. McDonald. Interactive pushdown automata animation. ACM SIGCSE Bulletin, 34(1):376-380, 2002.
16. C. Nachenberg. Computer virus-antivirus coevolution. Communications of the ACM, 40(1):46-51, 1997.
17. G. Taylor. Models of Computation and Formal Languages. Oxford University Press, 1998.
18. C. Teuscher and M. Sipper. Hipercomputation: Hype or Computation. Communications of the ACM, 45(8):23-24, Aug. 2002.
19. D. J. Ward and D. J. C. MacKay. Fast hands-free writing by gaze direction. Nature, 418(6900):838, 2002.
20. C. Yehezkel, W. Yurcik, and M. Pearson. Teaching Computer Architecture with a Computer-Aided learning Environment: State-of-the-Art Simulators. In Proc. of the Intl. Conference on Simulation and Multimedia in Engineering Education, Phoenix, Arizona, 2001.