Turing Machine with Faults, Failures and Recovery

Alex Vinokur

A Turing machine with faults, failures and recovery (TMF) is described. TMF is (weakly) non-deterministic Turing machine consisting of five semi-infinite tapes (Master Tape, Synchr…