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)