Ésta es la transición fundamental de una máquina que es un procesador de números a una máquina para manipular símbolos de acuerdo con las reglas.