Operations polynomiales sur les langages rationnels, caracterisations syntactiques et resultats de decidabilite

par MUSTAPHA ARFI

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Éric Pin.

Soutenue en 1990

à Paris 6 .

    mots clés mots clés


  • Résumé

    La fermeture polynomiale d'une classe de langages a ete definie par schutzenberger en 1975. Dans une premiere partie, nous etudions les fermetures polynomiales d'un point de vue combinatoire. Notre resultat principal dans cette direction montre en particulier que si une algebre de boole de langages reconnaissables est fermee par residuels, alors sa cloture polynomiale est stable par intersection finie. Ce resultat possede un corollaire interessant. Il nous permet d'affiner la hierarchie de concatenation proposee par straubing en y intercalant des niveaux polynomiaux. La seconde partie de notre expose est plus algebrique. On connait l'importance de la notion de semigroupe (ou monoide) syntactique dans l'etude des langages rationnels. Cette derniere ne suffit malheureusement pas a decrire de facon commode les fermetures polynomiales, puisque ces classes ne sont pas, en general, stables par complementation. Nous avons donc utilise le concept de monoide pointe, introduit par sakarovitch. Nous obtenons ainsi une caracterisation syntactique des clotures polynomiales, grace a un theoreme qui rappelle celui des varietes d'eilenberg. Enfin, la troisieme partie est relative aux problemes de decidabilite. Nous y demontrons en particulier que les deux premiers niveaux polynomiaux de la hierarchie decrite ci-dessus sont decidables


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 54 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Accessible pour le PEB
  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : T Paris 6 1990 379
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1990
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.