The theory of computing is rife with models -- models of computation, models of languages and grammars, problem reductions, and so forth. The hypertextbook thus incorporates a number of active learning models in the form of Java applets for helping students learn.
The tools constructed for use in hypertextbook projects require the latest web technologies. Some will run with the latest versions of the usual browsers (e.g., Internet Explorer and Netscape) with the latest Java runtime environment from Sun. Others require the installation of other Java packages, notably Java Media Frameworks (JMF) and/or Java Advanced Imaging (JAI). The hypertextbook on the theory of computing does make use of Java Media Frameworks for slide shows and video applets but not Java Advanced Imaging.
This page is still under construction. Where a link exists under Tool/Model an example of the listed active learning applet is available for examination. Where no link exists, the applet is still being prepared for transfer to this new site. Please check back!
Tool/Model | Author | System Requirements | Updated |
Slide Show Applet | Brad Pascoe | Java Media Frameworks | Spring 2004 |
Video Applet | Frances Goosey | Java Media Frameworks | Spring 2004 |
Download Finite State Automaton Builder Application | Michael Grinder | March 9, 2005 | |
Finite State Automaton Example Model | Michael Grinder | March 10, 2005 | |
Finite State Automaton Exercise Model | Michael Grinder | March 10, 2005 | |
Download Regular Grammar Builder Application | Brad Pascoe | March 10, 2005 | |
Regular Grammar Example Applet | Brad Pascoe | March 10, 2005 | |
Regular Grammar Exercise Applet | Brad Pascoe | March 10, 2005 | |
Download Regular Expression Builder Application | Brad Pascoe | March 10, 2005 | |
Regular Expression Example Applet | Katie Walsh/Brad Pascoe | March 10, 2005 | |
Regular Expression Exercise Applet | Brad Pascoe | March 10, 2005
|
|
Regular Pumping Lemma Model | Josh Cogliati | March 10, 2005 | |
Context Free Grammar Model | Teresa Lutey | Spring 2002 | |
LL(1) Tool | Nick Degenhart | Spring 2000 | |
LL and LR Tool | Michael Milvich | Spring 2004 | |
Program Animator | Chris Boroni/Frances Goosey | No recent revisions |