Contributions a la theorie des modeles finis et a la complexite descriptive
Auteur / Autrice : | YASSINE HACHAICHI |
Direction : | Patrick Cegielski |
Type : | Thèse de doctorat |
Discipline(s) : | Logique et fondements de l'informatique |
Date : | Soutenance en 2001 |
Etablissement(s) : | Paris 7 |
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.