An introduction to formal languages and automata (2nd ed.)
An introduction to formal languages and automata (2nd ed.)
A collection of tools for making automata theory and formal languages come alive
SIGCSE '97 Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
SIGCSE '97 Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
Web-based animation of data structures using JAWAA
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Elements of the Theory of Computation
Elements of the Theory of Computation
Turing's World 3.0: An Introduction to Computability Theory
Turing's World 3.0: An Introduction to Computability Theory
Visualization and interaction in the computer science formal languages course with JFLAP
FIE '96 Proceedings of the 26th Annual Frontiers in Education - Volume 01
Increasing visualization and interaction in the automata theory course
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Undergraduate research experience in computer science education
Proceedings of the 7th annual conference on Innovation and technology in computer science education
Animating automata: a cross-platform program for teaching finite automata
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
The computer science teaching center
ACM SIGCSE Bulletin
A framework to visualize equivalences between computational models of regular languages
Information Processing Letters
A preliminary empirical evaluation of the effectiveness of a finite state automaton animator
SIGCSE '03 Proceedings of the 34th SIGCSE technical symposium on Computer science education
Language-independent interactive data visualization
SIGCSE '03 Proceedings of the 34th SIGCSE technical symposium on Computer science education
Algorithm Animation - Introduction
Revised Lectures on Software Visualization, International Seminar
Using theoretical computer simulators for formal languages and automata theory
ACM SIGCSE Bulletin
Language emulator, a helpful toolkit in the learning process of computer theory
Proceedings of the 35th SIGCSE technical symposium on Computer science education
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
A visual and interactive automata theory course emphasizing breadth of automata
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Engaging students in formal language theory and theory of computation
Proceedings of the 38th SIGCSE technical symposium on Computer science education
Component design, integration and service transformation in financial industry
International Journal of Information Systems and Change Management
Fifty years of automata simulation: a review
ACM Inroads
Symbolic and parametric model checking of discrete-time markov chains
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Can peer instruction be effective in upper-division computer science courses?
ACM Transactions on Computing Education (TOCE) - Special Issue on Alternatives to Lecture in the Computer Science Classroom
| Hi-index | 0.00 |
An automata theory course can be taught in an interactive, hands-on manner using a computer. At Duke we have been using the software tool JFLAP to provide interaction and feedback in CPS 140, our automata theory course. JFLAP is a tool for designing and running nondeterministic versions of finite automata, pushdown automata, and Turing machines. Recently, we have enhanced JFLAP to allow one to study the proofs of several theorems that focus on conversions of languages, from one form to another, such as converting an NFA to a DFA and then to a minimum state DFA. In addition, our enhancements combined with other tools allow one to interactively study LL and LR parsing methods.