Sur la description des langages algebriques deterministes par des systemes de reecriture confluents

par Géraud Senizergues

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Michel Autebert.

Soutenue en 1987

à Paris 7 .

    mots clés mots clés


  • Résumé

    Etude des systeme de reecriture appeles systemes de reecriture controles (c-systemes en abbrege) qui generalisent la notion de systeme semi-thueien rationnel. Les cara caracterisations des langages algebriques deterministes et des langages algebriques deterministes en temps reel en termes de c-systemes sont donnees. Quelques problemes de decision concernant les c-systemes sont etudies: le probleme de la confluence, le probleme de l'equivalence, le probleme du raffinement, le probleme de l'egalite des classes et le probleme de l'inclusion des classes


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 96 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1987
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.