Download of turing-n-1-2.zip (turing-n-1-2.zip ( external link: SF.net): 108,933 bytes) will begin shortly. If not so, click link on the left.
The C++-programs simulate : Nondeterministic/Deterministic Multitape Turing & Post Machines, Universal Turing Machine, Turing Machine with faults, failures and recovery.