Contributions a la theorie des modeles finis et a la complexite descriptive

par YASSINE HACHAICHI

Thèse de doctorat en Logique et fondements de l'informatique

Sous la direction de Patrick Cegielski.

Soutenue en 2001

à Paris 7 .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Ce travail a comme ambition de contribuer a la caracterisation logique de certaines classes de langages, c'est-a-dire a la discipline appelee complexite descriptive. Dans cette these, on donne une caracterisation logique de la classe des langages algebriques non-ambigus, et des caracterisations logiques des langages rudimentaires. Un des interets de ces dernieres caracterisations est le jeu, introduit dans le chapitre 6, qu'elles inspirent. On donnera aussi un resultat utilisant la partie existentielle de ce jeu sur la definissabilite de la connexite des graphes finis dans la continuite des travaux de fagin, de rougemont et schwentick. Dans le chapitre 4, on prouve, par une comparaison de pouvoir d'expression des logiques, que les langages reconnus par des reseaux de petri sont strictement inclus dans ntimen (la classe des langages reconnaissables par une machine de turing non-deterministe en temps lineaire). On utilisera la caracterisation logique des langages des reseaux de petri donnee par parigot et pelz et une caracterisation de ntimen enoncee par lautemann, schwentick et schweikhardt.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (vii-107 p.)
  • Annexes : Bibliogr. p. 103-107, 73 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS2001
  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : THESE 06532
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.