A visual and interactive automata theory course with JFLAP 4.0
Proceedings of the 35th SIGCSE technical symposium on Computer science education
ProofChecker: an accessible environment for automata theory correctness proofs
Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education
Increasing interaction and support in the formal languages and automata theory course
Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education
Incorporating transformations into jflap for enhanced understanding of automata
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Two mathematical gestalts for computer theory
Proceedings of the 40th ACM technical symposium on Computer science education
Increasing engagement in automata theory with JFLAP
Proceedings of the 40th ACM technical symposium on Computer science education
The concept of nondeterminism: its development and implications for teaching
ACM SIGCSE Bulletin
VLex: visualizing a lexical analyzer generator -- tool demonstration
Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications
Fifty years of automata simulation: a review
ACM Inroads
Proceedings of the 18th ACM conference on Innovation and technology in computer science education
Hi-index | 0.00 |
Visualization and interactivity are valuable active learning techniques that can improve mastery of difficult concepts. In this paper we describe jFAST, an easy-to-use graphical software tool for teachers and students, with an emphasis on introductory level finite state machine topics. The jFAST software enables visual design, exploration and simulation of a variety of finite state machines, with a primary goal of enhancing teaching effectiveness in this subject, particularly for less advanced computer science students. The architecture and functionality of jFAST are explained, and results of preliminary evaluation are provided.