Extension of Brzozowski’s derivation calculus of rational expressions to series over the free partially commutative monoids

We introduce an extension of the derivatives of rational expressions to expressions denoting formal power series over partially commuting variables. The expressions are purely noncommutative, however they denote partially commuting power series. The derivations (which are so-called ϕ -derivations) a...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theoretical computer science Jg. 400; H. 1; S. 144 - 158
Hauptverfasser: Berstel, Jean, Reutenauer, Christophe
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Amsterdam Elsevier B.V 09.06.2008
Elsevier
Schlagworte:
Applied sciences
Computer Science
Computer science; control theory; systems
Data Structures and Algorithms
Exact sciences and technology
Free partially commutative
Miscellaneous
Rational expressions
Recognizable
Theoretical computing
Recognizable
Free partially commutative
Rational expressions
Word
Computer theory
Formal series
Product
Power series
Letter
Commutation relation
Recognizable series
Derivative
Free monoid
By product
Power
ISSN:0304-3975, 1879-2294
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We introduce an extension of the derivatives of rational expressions to expressions denoting formal power series over partially commuting variables. The expressions are purely noncommutative, however they denote partially commuting power series. The derivations (which are so-called ϕ -derivations) are shown to satisfy the commutation relations. Our main result states that for every so-called rigid rational expression, there exists a stable finitely generated submodule containing it. Moreover, this submodule is generated by what we call Words, that is by products of letters and of pure stars. Consequently this submodule is free and it follows that every rigid rational expression represents a recognizable series in K 《 A / C 》 . This generalizes the previously known property where the star was restricted to mono-alphabetic and connected series.
ISSN:0304-3975
1879-2294
DOI:10.1016/j.tcs.2008.02.051