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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Theoretical computer science Ročník 400; číslo 1; s. 144 - 158
Hlavní autoři: Berstel, Jean, Reutenauer, Christophe
Médium: Journal Article
Jazyk:angličtina
Vydáno: Amsterdam Elsevier B.V 09.06.2008
Elsevier
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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