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

  • Titre traduit

    Polynomial operations on rational languages, syntactic characterizations and decidability results


  • 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.