La definición anterior incluye abondos preseos d'usos específicos que namás puen facer una función o un númberu determináu de funciones. Si camentamos nos ordenadores modernos, la carauterística más importante que los estrema de los vieyos ye que tienen una programación afayadiza. Cualesquier ordenador pue emular el comportamientu d'otru (namás llendáu pola capacidá d'almacenamientu de datos y les estremaes velocidaes), y, dafechu, créese que los actuales ordenadores puen emular a cualesquier ordenador que s'invente nel futuru (magar que seyan abondo más lentos). Polo tantu, en ciertu sentíu, esta capacidá crítica ye una proba mui útil, para identificar los ordenadores d'usu xeneral de los destinaos a dellos usos específicos. Esta carauterística de podese emplegar pa un usu xeneral, podese formalizar nuna regla acordies a la cuál una máquina d'estes carauterístiques, debe poder emular el comportamientu d'una máquina de Turing universal. Les máquines que cumplan con esta definición son homologables a la máquina de Turing.