Dancing with DynaLab: endearing the science of computing to students
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Integrating animations into courses
ITiCSE '96 Proceedings of the 1st conference on Integrating technology into computer science education
Technology in computing education: yet another bandwagon?
The supplemental proceedings of the conference on Integrating technology into computer science education: working group reports and supplemental proceedings
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
Using Java to develop Web based tutorials
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
A paradigm shift! The Internet, the Web, browsers, Java and the future of computer science education
SIGCSE '98 Proceedings of the twenty-ninth 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
Animation, visualization, and interaction in CS 1 assignments
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Introduction to Computability
Elements of the Theory of Computation
Elements of the Theory of 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
Animating automata: a cross-platform program for teaching finite automata
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
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
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
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
Formal languages through web forms and regular expressions
ACM SIGCSE Bulletin
Experimenting with formal languages using forlan
Proceedings of the 2008 international workshop on Functional and declarative programming in 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
| Hi-index | 0.00 |
Interactive visualization tools for models of computation provide a more compelling means of exploration and feedback than traditional paper and pencil methods in theory of computation courses. The Java Computability Toolkit (JCT) is introduced here as a new teaching aide and as an exploratory student's supplement to a course on theory of computation. JCT consists of two Java multiple-window, web-accessible, graphical environments, allowing the construction and simulation of finite automata and Turing machines. This paper discusses JCT's use, design, and applications in teaching.