PHIL 4420 / MATH 4030 - Computability and Logic
Spring 2013
Software
Turing Machine Simulator (zip file)
Abacus Machine Simulator (version 3.0; zip file)
Abacus Machine Simulator (version 1.0; zip file)
Abacus Machine Simulator (version 2.0; zip file)
Abacus Machine Simulator (version 2.1; zip file)