Posteriormente el concepto inicial de dicha "máquina" (que no tiene existencia física, realmente es una descripción formal) fue ampliada de diversos modos: