Todo el mundo que estudió ciencias de la computación implementó “una máquina de Turing” en algún momento¹: una cinta, un cabezal, una tabla de transiciones (estado, símbolo) → (estado, símbolo, movimiento). Es un ejercicio válido, pero no es lo que Turing escribió en 1936. Su notación real —la que usa en On Computable Numbers, with an Application to the Entscheidungsproblem²— es bastante más rica que eso, y casi nadie la implementa como está en el paper. Yo quería saber si podía.