Thèse en cours

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

FR  |  
EN
Auteur / Autrice : Guillaume Maurras
Direction : Pierre-alain ReynierSé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

FR  |  
EN

Résumé

FR

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.