Turing Machine lógica