Théorie des modèles des formules locales et étude des langages formels qu'elles définissent
FR |
EN
Auteur / Autrice : | Olivier Finkel |
Direction : | Jean-Pierre Ressayre |
Type : | Thèse de doctorat |
Discipline(s) : | Mathématiques. Logique |
Date : | Soutenance en 1993 |
Etablissement(s) : | Paris 7 |
Mots clés
FR
Mots clés contrôlés
Résumé
FR
Les formules locales ont été définies par J. -P. Ressayre pour appliquer les idées de la théorie des modèles à l'étude des langages formels. On étudie la théorie des modèles infinis bien ordonnés des formules locales. Et on étend les résultats sur les langages formels qu'elles définissent: propriétés de clôture et d'indécidabilité pour les langages finit aires et les -langages