Machines, algorithmes et langage Yoann Marquer Laboratoire d'Algorithmique, Complexité et Logique
Différents algorithmes
Des machines … équivalentes !
Mais... La simulation d'une machine dans une autre peut se faire en des temps déraisonnables. Deux fonctions « équivalentes » peuvent calculer de manière très différentes. Ces machines théoriques sont séquentielles... alors qu'on peut imaginer des machines réelles ou des algorithmes fonctionnant en parallèle.
Algorithme séquentiel (Gurevich) Mots-clés Temps séquentiel (transition entre des états) États abstraits (structures du premier ordre) Exploration bornée (par un témoin fini) Mots-clés ASM : Abstract State Machine EMA : Evolving MultiAlgebra
Merci de votre attention yoann.marquer@lacl.fr