Caractérisation logique de langages d'ordre supérieur

Logical caracterisation of higher order languages

• Auteur / Autrice : Guillaume Maurras
• Direction : Pierre-alain Reynier, Séverine Fratani
• Type : Projet de thèse
• Discipline(s) : Informatique
• Date : Inscription en doctorat le 01/10/2020
• Etablissement(s) : Aix-Marseille
• Ecole(s) doctorale(s) : École doctorale Mathématiques et Informatique de Marseille (Marseille ; 1994-....)
• Partenaire(s) de recherche : Laboratoire : LIS Laboratoire d'Informatique et Systèmes

Mots clés

Mots clés libres

Caractérisation

Logique

Langages

Characterisation

Logical

Languages

Résumé

En enrichissant les mots d'une structure inspirée de la caractérisation par morphisme des langages indexés, on définit des automates. On cherche alors les conditions rendant ces automates déterminisables pour caractériser logiquement les langages qu'ils reconnaissent. On s'intéresse aussi au fragment des langages indexés reconnaissables par ces automates.