Étude structurelle des transducteurs de norme bornée

Résumé : Les transducteurs - automates avec sortie - et les relations rationnelles sont des concepts fondamentaux de la théorie des automates. Un rôle particulier est joué par la famille des fonctions rationnelles, en raison de ses propriétés remarquables et aujourd'hui classiques. Les relations de norme bornée sont une généralisation de celles-ci, introduite par Schützenberger en 1976, où le supremum des cardinalités des images est borné par une constante. Ces relations ont reçu une attention particulière en de differents travaux, dont le but a été de généraliser certaines propriétés des fonctions rationnelles; pourtant, les différences entre les techniques mises en oeuvre et la difficulté de quelques preuves conduisent à la nécessité d'une compréhension plus approfondie de ces propriétés. Cette thèse est consacrée à une présentation uniforme de quelques propriétés des relations de norme bornée, centrée sur la représentation de ces relations par des transducteurs et les manipulations de leur structure via des constructions de produits et de revêtements d'automates. Sont traités dans cette approche structurelle la décomposition d'une relation rationnelle de norme bornée dans une somme de fonctions rationnelles, résultat dont il est aussi donné une généralisation, la décidabilité de la famille des relations rationnelles de norme bornée, et la décidabilité de l'équivalence pour ces relations. Les constructions développées dans cette thèse permettent en particulier de nouvelles bornes de complexité, par rapport aux résultats connus.
Document type :
Theses
Complete list of metadatas

Cited literature [52 references]  Display  Hide  Download

https://pastel.archives-ouvertes.fr/pastel-00004322
Contributor : Ecole Télécom Paristech <>
Submitted on : Friday, January 9, 2009 - 8:00:00 AM
Last modification on : Wednesday, February 20, 2019 - 2:40:41 PM
Long-term archiving on : Friday, September 10, 2010 - 1:04:07 PM

Identifiers

  • HAL Id : pastel-00004322, version 1

Citation

Rodrigo de Souza. Étude structurelle des transducteurs de norme bornée. domain_other. Télécom ParisTech, 2008. English. ⟨pastel-00004322⟩

Share

Metrics

Record views

316

Files downloads

306