Télécharger la présentation
La présentation est en train de télécharger. S'il vous plaît, attendez
1
Machines, algorithmes et langage
Yoann Marquer Laboratoire d'Algorithmique, Complexité et Logique
2
Différents algorithmes
3
Des machines … équivalentes !
4
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.
5
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
6
Merci de votre attention
Présentations similaires
