Automates et contraintes ensemblistes

par Marc Tommasi

Thèse de doctorat en Informatique

Sous la direction de Sophie Tison.

Soutenue en 1994

à Lille 1 .


  • Résumé

    Les contraintes ensemblistes expriment des relations entre ensembles de termes. Elles sont le plus souvent utilisees en informatique pour decrire des proprietes de programmes imperatifs logiques ou fonctionnels et conduisent a l'elaboration de procedures d'inference et de controle de type. Syntaxiquement, les contraintes ensemblistes sont des systemes d'inclusions ou de non-inclusions d'expressions construites avec des symboles de fonction et les operateurs ensemblistes classiques (union, intersection, complementaire). Les automates d'arbres peuvent etre consideres comme un puissant outil de decision. Dans cet esprit le theoreme le plus connu est sans doute celui de rabin qui obtient des resultats de decision pour un grand nombre de theories a l'aide d'automates d'arbres infinis. C'est cette demarche de resolution que nous utilisons dans cette these. Nous introduisons un nouveau type de reconnaisseurs, les automates d'ensembles d'arbres, des outils interessants a part entiere, et capables de representer par les langages qu'ils reconnaissent les solutions de systemes de contraintes ensemblistes. Nous obtenons alors un algorithme de resolution pour ces contraintes, et nous deduisons de l'etude des automates d'ensembles d'arbres des proprietes des ensembles de solutions.

  • Titre traduit

    Automata and set constraints


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (138 p.)
  • Annexes : Bibliogr.

Où se trouve cette thèse ?

  • Bibliothèque :
  • Disponible pour le PEB
  • Cote : 50376-1994-62
  • Bibliothèque :
  • PEB soumis à condition
  • Cote : TOMMASI a
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.