Langages rationnels et automates : de la theorie a la programmation

par PASCAL CARON

Thèse de doctorat en Sciences appliquées

Sous la direction de JEAN MARC CHAMPARNAUD.

Soutenue en 1997

à Rouen .

    mots clés mots clés


  • Résumé

    Cette these constitue un point de depart pour la programmation d'un systeme de calcul formel sur les automates, les semigroupes et les langages rationnels. On y trouve la caracterisation des automates construits selon l'algorithme de glushkov. Des caracterisations de familles de langages testables a partir de leurs automates minimaux y sont egalement decrites. Le logiciel agl regroupe un ensemble de packages maple sur les automates, les semigroupes et les langages rationnels. L'ensemble des algorithmes deduits des caracterisations y est implemente. Ce logiciel constitue un prototype pour un systeme de calcul formel dedie aux automates, aux semigroupes et aux langages rationnels.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 141 P.
  • Annexes : 77 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rouen. Service commun de la documentation. Section sciences site Madrillet.
  • Disponible pour le PEB
  • Cote : 97/ROUE/S079
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.