Equations and coequations for weighted automata

DOI10.1007/978-3-662-48057-1_35MaRDI QIDQ2946360zbMATH OpenOpenAlexFDO

Authors Julian Salamanca, Marcello M. Bonsangue, Jan J. M. M. Rutten

Publication date 16 September 2015

Published in Mathematical Foundations of Computer Science 2015 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-48057-1_35

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Recommendations

• A coalgebraic perspective on linear weighted automata
• Coalgebraic Semantics of Heavy-Weighted Automata
• The dual equivalence of equations and coequations for automata
• Regular varieties of automata and coequations
• Weighted Bisimulation in Linear Algebraic Form

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3561239 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• A coalgebraic perspective on linear weighted automata
• Algebra-coalgebra duality in Brzozowski's minimization algorithm
• Duality and Equational Theory of Regular Languages
• Foundations of system theory: The Hankel matrix
• Generalized Eilenberg theorem. I: Local varieties of languages
• Minimization via duality
• On the definition of a family of automata
• Positive varieties of tree languages
• The dual equivalence of equations and coequations for automata
• Universal coalgebra: A theory of systems

Cited in

(6)

• Regular varieties of automata and coequations
• Weighted automata as coalgebras in categories of matrices
• Duality of equations and coequations via contravariant adjunctions
• The dual equivalence of equations and coequations for automata
• A coalgebraic perspective on linear weighted automata
• Conjugacy and Equivalence of Weighted Automata and Functional Transducers

This page was built for publication: Equations and coequations for weighted automata

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