Models and Tools

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.

System Requirements

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