The Kleene-Schützenberger theorem for formal power series in partially commuting variables.

DOI10.1006/INCO.1999.2799zbMath1045.68589OpenAlexW1975161395MaRDI QIDQ1854303

Paul Gastin, Manfred Droste

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1999.2799

zbMATH Keywords

free monoidsrational languages

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Semirings (16Y60)

Related Items (10)

Skew and infinitary formal power series ⋮ On aperiodic and star-free formal power series in partially commuting variables ⋮ Extension of Brzozowski's derivation calculus of rational expressions to series over the free partially commutative monoids ⋮ Closures in Binary Partial Algebras ⋮ Branching automata with costs -- a way of reflecting parallelism in costs ⋮ A Kleene theorem for weighted tree automata over distributive multioperator monoids ⋮ A Kleene Theorem for Forest Languages ⋮ Weighted asynchronous cellular automata ⋮ Valuations of Weighted Automata: Doing It in a Rational Way ⋮ Models for quantitative distributed systems and multi-valued logics

Cites Work

• Recognizable languages in concurrency monoids
• Theory of traces
• Linear and combinatorial optimization in ordered algebraic structures
• Combinatorics on traces
• Matrices de Hankel
• On the definition of a family of automata
• On recognizable and rational formal power series in partially commuting variables
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The Kleene-Schützenberger theorem for formal power series in partially commuting variables.