Des Codes barres pour les langages rationnels

par Ludovic Mignot

Thèse de doctorat en Informatique

Sous la direction de Jean-Marc Champarnaud et de Pascal Caron.

Soutenue en 2010

à Rouen .


  • Pas de résumé disponible.


  • Résumé

    Les expressions rationnelles et les automates finis sont des objets mathématiques permettant de représenter les langages rationnels. Le lien enttre ces structures est le sujet de nombreux thèmes de recherche. Chacun de ces modèles présente avantages et inconvénients. Nous nous proposons d'établir de nouveaux opérateurs, les multi-tildes-barres, permettant de créer un modèle d'expression rationnelle simple, utilisant l'union, la concaténation et l'étoile de Kleene. Les multi-tildes-barres sont basées sur des opérations relativement simples sur les langages, l'ajout et l'élimination du mot vide. Nous étendons les méthodes de conversion classiques entre expressions rationnelles simples et automates finis aux expressions utilisant ces nouveaux opérateurs. Nous montrons également que le pouvoir de factorisation de ces nouvelles expressions est exponentiellement plus grand que celui des expressions rationnelles simples.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (176 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. 46 références. Index

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 : 10/ROUE/S038
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.