Language emulator, a helpful toolkit in the learning process of computer theory

Proceedings of the SIGCSE Technical Symposium on Computer Science Education

Volumn , Issue , 2004, Pages 135-139

  Vieira, Luiz Filipe M ^a   Vieira, Marcos Augusto M ^a   Vieira, Newton J ^a  

^a FEDERAL UNIVERSITY OF MINAS GERAIS   (Brazil)

Author keywords

Computer Theory; Teaching; Tool

Indexed keywords

AUTOMATA THEORY; COMPUTER SCIENCE; COMPUTER SOFTWARE; LEARNING SYSTEMS; STUDENTS; TEACHING;

COMPUTER SCIENCE EDUCATION; COMPUTER THEORY; LANGUAGE EMULATORS; TOOLKITS;

FORMAL LANGUAGES;

EID: 2642571930     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/971300.971348     Document Type: Conference Paper

References (13)

1. Deus ex machine. http://www.ics.uci.edu/savoiu/dem/. Web site.
2. Ganimal http://rw4.cs.uni-sb.de/ganimal/. Web site.
3. Turing's world, http://www-csli.stanford.edu/hp/logic-software.html. Web site.
4. Webworks laboratory, http://www.cs.montana.edu/webworks. Web site.
5. Bilska, A. A collection of tools for making automata theory and formal languages come alive. SIGCSEB: SIGCSE Bulletin 29 (1997), 15-19.
6. Chesnevar, C. I., Cobo, M. L., and Yurcik, W. Using theoretical computer simulators for formal languages and automata theory. SIGCSEB: SIGCSE Bulletin 35 (2003), 33-37.
7. Gloor, P. Aace - algorithm animation for computer science education. In Workshop on Visual Languages (1992), pp. 25-31.
8. Koutsofios, E., and North.", S. C. Drawing graphs with dot. In "AT&T Bell Laboratories" (Murray Hill NJ, U.S.A., October 1993).
9. Procopiuc, M., Procopiuc, O., and Rodger, S. H. Visualization and interaction in the computer science formal languages course with jflap. ASEE/IEEE Frontiers in Education (FIE) Conference (1996), 121-125.
10. Robinson, M., Hamshar, J., Novillo, J., and Duchowski, A. A Java-based tool for reasoning about models of computation through simulating finite automata and turing machines. In 30th Annual ACM SIGCSE Symposium (New Orleans, Louisiana, March 1999).
11. Rodger, S. H. Integrating hands-on work into the formal languages course via tools and programming. Workshop on Implementing Automata, Lecture Notes In Computer Science 1260 (1996), 132-148.
12. Rodger, S. H., and Gramond, E. Using JFLAP to interact with theorems in automata theory. SIGCSEB: SIGCSE Bulletin 31 (1999), 336-340.
13. Rodger, S. H., and Hung, T. Increasing visualization and interaction in the automata theory course. SIGCSEB: SIGCSE Bulletin 32 (2000), 6-10.