Sin embargo, generalizando el modelo de máquina de Turing estándar admite UTMs aún más pequeñas.