Por ejemplo, para la máquina de Turing