Teaching push-down automata and turing machines-Reference-Cited by-同舟云学术

Teaching push-down automata and turing machines

Published:2008-08-25 Issue:3 Volume:40 Page:316-316
ISSN:0097-8418
Container-title:ACM SIGCSE Bulletin
language:en
Short-container-title:SIGCSE Bull.

Author:

García-Osorio César¹,Mediavilla-Sáiz Iñigo¹,Jimeno-Visitación Javier¹,García-Pedrajas Nicolás²

Affiliation:

1. University of Burgos, Burgos, Spain

2. University of Córdoba, Cordoba, Spain

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/1597849.1384359

Reference3 articles.

1. J. Bovet. Visual Automata Simulator. (http://www.cs.usfca.edu/~jbovet/vas.html last visited 19-Feb-2007). J. Bovet. Visual Automata Simulator. (http://www.cs.usfca.edu/~jbovet/vas.html last visited 19-Feb-2007).

2. C. Burch. Automaton Simulator. (http://ozark.hendrix.edu/~burch/proj/autosim/ last visited 19-Feb-2007). C. Burch. Automaton Simulator. (http://ozark.hendrix.edu/~burch/proj/autosim/ last visited 19-Feb-2007).

3. S. H. Rodger. Java Interactive Formal Languages and Automata Package. (http://www.jflap.org/ last visited 19-Feb-2007). S. H. Rodger. Java Interactive Formal Languages and Automata Package. (http://www.jflap.org/ last visited 19-Feb-2007).

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Exploring how Students Perform in a Theory of Computation Course using Final Exam and Homework Assignments Data;Proceedings of the 2018 ACM Conference on International Computing Education Research;2018-08-08

2. Theorem Provers as a Learning Tool in Theory of Computation;Proceedings of the 2017 ACM Conference on International Computing Education Research;2017-08-14

3. Analyzing Student Practices in Theory of Computation in Light of Distributed Cognition Theory;Proceedings of the 2016 ACM Conference on International Computing Education Research;2016-08-25

4. Fifty years of automata simulation;ACM Inroads;2011-12

5. Learning difficulties experienced by students in a course on formal languages and automata theory;ACM SIGCSE Bulletin;2010-01-18