Se requiere que la máquina complete sus cálculos en un tiempo finito.