Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Expressions k-rationnelles
par Daniel Krob
Thèse de doctorat en Sciences appliquées
Sous la direction de Dominique Perrin.
Soutenue en 1988
à Paris 7 .
- Sciences appliquees
- Informatique, automatique theorique, systemes
- These
- Monoide libre
- Langage formel
- Theorie langage
- Informatique theorique
- Thesis
- Free monoid
- Formal language
- Language theory
- Computer theory
mots clés
-
Résumé
Construction d'une theorie des expressions rationnelles sur un semi anneau k quelconque. La theorie est ensuite generalisee aux identites matricielles en montrant que certaines axiomes classiques entrainent leur version matricielle. Il est aussi etabli que l'etoile formelle d'une matrice se definit de maniere unique, module les axiomes classiques. Un calcul differentiel sur les expressions k-rationnelles est etudie, en montrant comment l'on peut deduire des identites derivees. Dans une derniere partie, les codes intervenant dans une factorisation finie du monoide libre sont etudies
-
Pas de résumé disponible.
