machines of turing 412402