On aperiodic and star-free formal power series in partially commuting variables

DOI10.1007/S00224-007-9064-ZMaRDI QIDQ927397zbMATH OpenOpenAlexFDO

Authors Manfred Droste, Paul Gastin

Publication date 6 June 2008

Published in Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00224-007-9064-z

zbMATH Keywords

Aperiodic languagesFormal power seriesSemiringStar-free languagesTracesWeighted automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70)

Recommendations

• scientific article; zbMATH DE number 1504580
• On recognizable and rational formal power series in partially commuting variables
• scientific article; zbMATH DE number 4058104
• The Kleene-Schützenberger theorem for formal power series in partially commuting variables.
• scientific article; zbMATH DE number 34514
• Families of commuting formal power series and formal functional equations
• scientific article; zbMATH DE number 745316
• scientific article; zbMATH DE number 3899084
• Commutators on power series spaces
• Commutative substitutions of formal power series

Cites work

• Aperiodic languages in concurrency monoids
• Combinatorics on traces
• scientific article; zbMATH DE number 3899183 (Why is no real title available?)
• scientific article; zbMATH DE number 3970130 (Why is no real title available?)
• scientific article; zbMATH DE number 4072419 (Why is no real title available?)
• scientific article; zbMATH DE number 41838 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 3588051 (Why is no real title available?)
• scientific article; zbMATH DE number 1136764 (Why is no real title available?)
• scientific article; zbMATH DE number 1163636 (Why is no real title available?)
• scientific article; zbMATH DE number 1504580 (Why is no real title available?)
• scientific article; zbMATH DE number 1862743 (Why is no real title available?)
• scientific article; zbMATH DE number 3368555 (Why is no real title available?)
• Linear and combinatorial optimization in ordered algebraic structures
• On finite monoids having only trivial subgroups
• On finite semigroups of matrices
• On the definition of a family of automata
• Series formelles et algèbres syntactiques
• Star-free trace languages
• The Kleene-Schützenberger theorem for formal power series in partially commuting variables.
• Weighted automata and weighted logics

Cited in

(9)

• The Kleene-Schützenberger theorem for formal power series in partially commuting variables.
• Weighted automata
• Valuations of weighted automata: doing it in a rational way
• scientific article; zbMATH DE number 1504580 (Why is no real title available?)
• On recognizable and rational formal power series in partially commuting variables
• Weighted automata and weighted logics
• Modelling Uncertainty in Architectures of Parametric Component-Based Systems
• Weighted automata and multi-valued logics over arbitrary bounded lattices
• Weighted automata and weighted logics with discounting

This page was built for publication: On aperiodic and star-free formal power series in partially commuting variables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q927397)