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
Models of computation and formal languages
Models of computation and formal languages
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Using JFLAP to interact with theorems in automata theory
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Increasing visualization and interaction in the automata theory course
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Elements of the Theory of Computation
Elements of the Theory of Computation
Animating automata: a cross-platform program for teaching finite automata
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Teaching computer organization/architecture with limited resources using simulators
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Loving to learn theory: active learning modules for the theory of computing
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Interactive Pushdown Automata Animation
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Integrating Hands-on Work into the Formal Languages Course via Tools and Programming
WIA '96 Revised Papers from the First International Workshop on Implementing Automata
Visualization and interaction in the computer science formal languages course with JFLAP
FIE '96 Proceedings of the 26th Annual Frontiers in Education - Volume 01
Language emulator, a helpful toolkit in the learning process of computer theory
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Computing theory with relevance
ACE '04 Proceedings of the Sixth Australasian Conference on Computing Education - Volume 30
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
Implementing NFAS in a spreadsheet
Journal of Computing Sciences in Colleges
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
A prolog toolkit for formal languages and automata
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Realizing the promise of visualization in the theory of computing
Journal on Educational Resources in Computing (JERIC)
Engaging students in formal language theory and theory of computation
Proceedings of the 38th SIGCSE technical symposium on Computer science education
Fifty years of automata simulation: a review
ACM Inroads
MyTuringTable: a teaching tool to accompany Turing's original paper on computability
Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education
Using control network programming in teaching nondeterminism
Proceedings of the 13th International Conference on Computer Systems and Technologies
Hi-index | 0.00 |
Both formal languages and automata theory (FLAT) are core to the CS curricula but are difficult to teach and to learn. This situation has motivated the development of a number of theoretical computer simulators as educational tools to allow students to "bring to life" many topics that traditionally were presented only mathematically. This paper discusses the main features of software tools currently freely available via the Internet for teaching FLAT. Based on our practical experience, the tradeoffs between different FLAT software tools is analyzed and discussed. We conclude with general recommendations for integrating FLAT software tools into an established curriculum.