Retour à l'index du GREYC

Séminaire Algorithmique

Site du CNRS

Séminaire Algorithmique

Le séminaire a lieu le mardi à 11 h 45 (sauf modification exceptionnelle), au campus Côte de Nacre, bâtiment Sciences 3, salle S3 351, 3ème étage.

Résumé du séminaire du Mardi 4 Janvier 2011

Les multi-algèbres évolutives unifient tous les modèles de calcul séquentiels usuels

par Pierre Valarcher (LACL, Paris 12)

Yuri Gurevich montre que les Abstract State Machine simulent pas à pas tous les algorithmes et donc simulent pas à pas tous les modèles de machines séquentiels (Turing, RAM, ...). Ce résultat peut être approfondi, pour les machines, en remarquant que :

  1. la simulation n'est pas l'identification
  2. les modèles de machines simulés par les ASM ne constituent pas, chacuns, une classe naturelle d'ASM.

Nous modifions les ASM en Multi-Algèbres Evolutives (EMA) en remplaçant le programme par une fonctionnelle définissable à partir de la partie statique de l'EMA. On montre alors que des classes naturelles d'EMA correspondent, via une "identification" et à certaines modifications près, aux modèles de calcul habituels. Les EMA apparaissent alors comme le modèle mathématique qui unifie tous les modèles de calculs séquentiels.

En collaboration avec S. Grigorieff (LIAFA).

GREYC
Campus Côte de Nacre, boulevard du Maréchal Juin
BP 5186
14032 Caen Cedex
FAX : +33 (0)2 31 56 73 30
http://www.greyc.fr