Turing Machines

• ATM (Another Turing Machine) is a java application that simulates Turing machines of many flavors. I have installed it in the unix lab. Alternatively you can download and install the software on any machine that can run java applications.
  • http://www.cs.binghamton.edu/~lander/tm_source/tmdoc.html
  • gzipped tarball
  • Example TM code
  • Documentation
• Applet by Suzanne Britton

Regular Expressions

• Notes on Regex Matching

Multi-purpose Simulators

• Java Computability Toolkit
• JFlap

DFA/NFA Simulators

• Eileen Head has written several nice java applications for various kinds of machines, so you need java to run it.
  • I have a mirror of here Finite State Machine simulator avaliable as a tar-ball, since here web pages seem to have moved recently and have lots of broken links.
  • You can also grab some examples that I have written.
  • Documentation is also available.
• FSME, the Finite State Machine Explorer written as an undergraduate project in 1995-96 by Matt Chapman.
• Finite State Machine Simulators coded by Curtis Rueden
• State Machine Simulator
• Finite State Machine

This page maintained by:
Randall Pruim
Department of Mathematics and Statistics
Calvin College
rpruim@calvin.edu