Increasing interaction and support in the formal languages and automata theory course

ITiCSE 2007: 12th Annual Conference on Innovation and Technology in Computer Science Education - Inclusive Education in Computer Science

Volumn , Issue , 2007, Pages 58-62

  Rodger, Susan H ^a   Lim, Jinghui ^a   Reading, Stephen ^a  

^a Duke University

Author keywords

Automata; Formal languages; JFLAP; Mealy machine; Moore machine; Pumping lemma

Indexed keywords

COMPUTER SOFTWARE; FORMAL LANGUAGES; INTERACTIVE COMPUTER SYSTEMS; LEARNING SYSTEMS;

EDUCATIONAL SOFTWARE; MEALY MACHINES; MOORE MACHINES; PUMPING LEMMA;

AUTOMATA THEORY;

EID: 34548081384     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1268784.1268803     Document Type: Conference Paper

References (13)

1. J. Barwise and J. Etchemendy. Turing's World 3.0 for the Macintosh. CSLI, Cambridge University Press, 1993.
2. C. W. Brown and E. A. Hardisty. Regexex: An interactive system providing regular expression exercises. In Thirty-eighth SIGCSE Technical Symposium on Computer Science Education, page (to appear). SIGCSE, March 2007.
3. J. Cogliati, F. Goosey, M. Grinder, B. Pascoe, R. Ross, and C. Williams. Realizing the promise of visualization in the theory of computing. JERIC, 5, 2005.
4. M. T. Grinder. A preliminary empirical evaluation of the effectiveness of a finite state automaton animator. In Thirty-fourth SIGCSE Technical Symposium on Computer Science Education, pages 157-161. SIGCSE, February 2003.
5. V. J. Harvey and S. H. Rodger. Editorial for the special issue on software support for teaching discrete mathematics. Journal on Educational Resources in Computing, 5(2):1-16, June 2005.
6. P. Linz. An Introduction to Formal Languages and Automata, 4th Edition. Jones and Bartlett, Sudbury, MA, 2006.
7. S. H. Rodger. Jflap web site, 2006. www.jflap.org.
8. S. H. Rodger, B. Bressler, T. Finley, and S. Reading. Turning automata theory into a hands-on course. In Thirty-seventh SIGCSE Technical Symposium on Computer Science Education, pages 379-383. SIGCSE, March 2006.
9. S. H. Rodger and T. W. Finley. JFLAB - An Interactive Formal Languages and Automata Backage. Jones and Bartlett, Sudbury, MA, 2006.
10. A. Stoughton. Experimenting with formal languages. In Thirty-sixth SIGCSE Technical Symposium on Computer Science Education, page 566. SIGCSE, February 2005.
11. R. Taylor. Models of Computation and Formal Languages. Oxford University Press, New York, 1998.
12. L. F. M. Vieira, M. A. M. Vieira, and N. J. Vieira. Language emulator, a helpful toolkit in the learning process of computer theory. In Thirty-fifth SIGCSE Technical Symposium on Computer Science Education, pages 135-139. SIGCSE, March 2004.
13. T. M. White and T. P. Way. jfast: A java finite automata simulator. In Thirty-seventh SIGCSE Technical Symposium on Computer Science Education, pages 384-388. SIGCSE, March 2006.