Total. Turing. Machine