Les machines déterministes font toujours un seul calcul à la fois. Ce calcul est constitué d'étapes élémentaires; à chacune de ces étapes, pour un état donné de la mémoire de la machine, l'action ...

Le projet UTHOTP visait principalement à concevoir et à étudier des algorithmes efficaces, la qualité de ces derniers étant mesurée par la façon dont le temps d’exécution varie en fonction de ...