Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif ou polynomial

Résumé : Les résultats de Colson ou de Moschovakis remettent en question que le modèle récursif primitif puisse calculer une valeur par tous les moyens possibles : il y a toutes les fonctions voulues mais il manque des algorithmes. La thèse de Church exprime donc plutôt ce qui peut être calculé que comment le calcul est fait. Nous utilisons la thèse de Gurevich formalisant l'idée intuitive d'algorithme séquentiel par les Abstract States Machines (ASMs).Nous représentons les programmes impératifs par le langage While de Jones, et une variante LoopC du langage de Meyer et Ritchie permettant de sortir d'une boucle lorsqu'une condition est remplie. Nous dirons qu'un langage caractérise une classe algorithmique si les modèles de calcul associés peuvent se simuler mutuellement, en utilisant une dilatation temporelle et un nombre borné de variables temporaires. Nous prouvons que les ASMs peuvent simuler While et LoopC, que si l'espace est primitif récursif alors LoopC est en temps récursif primitif, et que sa restriction LoopC_stat où les bornes des boucles ne peuvent être mises à jour est en temps polynomial. Réciproquement, une étape d'ASM peut être traduite par un programme sans boucle, qu'on peut répéter suffisamment en l'insérant dans un programme qui est dans While si la complexité est quelconque, dans LoopC si elle est récursif primitif, et dans LoopC_stat si elle est polynomiale.Ainsi While caractérise les algorithmes séquentiels en temps quelconque, LoopC ceux en temps et espace récursifs primitifs, et LoopC_stat ceux en temps polynomial
Type de document :
Thèse
Informatique et langage [cs.CL]. Université Paris-Est, 2015. Français. 〈NNT : 2015PESC1121〉
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-01280467
Contributeur : Abes Star <>
Soumis le : lundi 29 février 2016 - 16:02:14
Dernière modification le : mardi 4 juillet 2017 - 12:57:25
Document(s) archivé(s) le : lundi 30 mai 2016 - 15:13:45

Fichier

TH2015PESC1121.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01280467, version 1

Collections

Citation

Yoann Marquer. Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif ou polynomial. Informatique et langage [cs.CL]. Université Paris-Est, 2015. Français. 〈NNT : 2015PESC1121〉. 〈tel-01280467〉

Partager

Métriques

Consultations de la notice

238

Téléchargements de fichiers

273