Automates sur les ordres linéaires : Complémentation - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2004

Automata on Linear Orderings: Complementation

Automates sur les ordres linéaires : Complémentation

Chloé Rispal

Résumé

This thesis treats of rational sets of words indexed by linear orderings and particularly of the problem of the closure under complementation. In a seminal paper of 1956, Kleene started the theory of languages establishing that automata on finite words and rational expressions have the same expressive power. Since then, this result has been extended to many structures such as infinite words (Büchi, Muller), bi-infinite words (Beauquier, Nivat, Perrin), ordinal words (Büchi, Bedon), traces, trees... . More recently, Bruyère and Carton have introduced automata accepting words indexed by linear orderings and the corresponding rational expressions. Those linear structures include infinite words, ordinal words and their mirrors. Kleene's theorem has been generalized to words indexed by countable scattered linear orderings, that is orderings without any sub-ordering isomorphic to Q. For many structures, the class of rational sets forms a boolean algebra. This property is necessary to translate logic into automata. The closure under complementation was left as an open problem. In this thesis, we solve it in a positive way: we prove that the complement of a rational set of words indexed by scattered linear orderings is rational. The classical method to get an automaton accepting the complement of a rational set is trough determinization. We show that this method can not be applied in our case: An automaton is not necessary equivalent to a deterministic one. We have used other approaches. First, we generalize the proof of Büchi, based on congruence of words, to obtain the closure under complementation in the case of linear orderings of finite ranks. To get the whole result in the general case, we use the algebraic approach. We develop an algebraic structure extending the classical recognition by finite semigroups : semigroups are replaced by diamond-semigroups equipped with a generalized product. We prove that a set is rational iff it is recognized by a finite diamond-semigroup. We also prove that a canonical diamond-semigroup can be associated to each rational set : the syntactic diamond-semigroup. Our proof of the closure under complementation is effective. The theorem of Schützenberger establishes that a set of finite words is star-free if and only if its syntatic semigroup is finite and aperiodic. To finish, we partially extend this result to linear orderings of finite ranks.
Cette thèse traite des ensembles rationnels de mots indexés par des ordres linéaires et en particulier du problème de la fermeture par complémentation. Dans un papier fondateur de 1956, Kleene initie la théorie des langages en montrant que les automates sur les mots finis et les expressions rationnelles ont le même pouvoir d'expression. Depuis, ce résultat a été étendu à de nombreuses structures telles que les mots infinis (Büchi, Muller), bi-infinis (Beauquier, Nivat, Perrin), les mots indexés par des ordinaux (Büchi, Bedon), les traces, les arbres... Plus récemment, Bruyère et Carton ont introduit des automates acceptant des mots indexés par des ordres linéaires et des expressions rationnelles correspondantes. Ces structures linéaires comprennent les mots infinis, les mots indexés par des ordinaux et leurs miroirs. Le théorème de Kleene a été généralisé aux mots indexés par les ordres linéaires dénombrables et dispersés, c'est-à-dire les ordres ne contenant pas de sous-ordre isomorphe à Q. Pour la plupart des structures, la classe des ensembles rationnels forme une algèbre de Boole. Cette propriété est nécessaire pour traduire une logique en automates. La fermeture par complémentation restait un problème ouvert. Dans cette thèse, on résout ce problème de façon positive: on montre que le complément d'un ensemble rationnel de mots indexés par des ordres linéaires dispersés est rationnel. La méthode classique pour obtenir un automate acceptant le complémentaire d'un ensemble rationnel se fait par déterminisation. Nous montrons que cette méthode ne peut-être appliquée dans notre cas: tout automate n'est pas nécessairement équivalent à un automate déterministe. Nous avons utilisé d'autres approches. Dans un premier temps, nous généralisons la preuve de Büchi, basée sur une congruence de mots, et obtenons ainsi la fermeture par complémentation dans le cas des ordres linéaires de rang fini. Pour obtenir le résultat dans le cas général, nous utilisons l'approche algébrique. Nous développons une structure algébrique qui étend la reconnaissance classique par semigroupes finis : les semigroupes sont remplacés par les diamant-semigroupes qui possèdent un produit généralisé. Nous prouvons qu'un ensemble est rationnel si et seulement s'il est reconnu par un diamant-semigroupe fini. Nous montrons aussi qu'un diamant-semigroupe canonique, appelé diamant-semigroupe syntaxique, peut être associé à chaque ensemble rationnel. Notre preuve de la complémentation est effective. Le théorème de Schützenberger établit qu'un ensemble de mots finis est sans étoile si et seulement si son semigroupe syntaxique est fini et apériodique. Pour finir, nous étendons partiellement ce résultat au cas des ordres de rang fini.
Fichier principal
Vignette du fichier
2004_rispal.pdf (731.62 Ko) Télécharger le fichier
Loading...

Dates et versions

tel-00720658 , version 1 (25-07-2012)

Identifiants

  • HAL Id : tel-00720658 , version 1

Citer

Chloé Rispal. Automates sur les ordres linéaires : Complémentation. Théorie et langage formel [cs.FL]. Université de Marne la Vallée, 2004. Français. ⟨NNT : ⟩. ⟨tel-00720658⟩
375 Consultations
306 Téléchargements

Partager

Gmail Facebook X LinkedIn More