Equations and Coequations for Weighted Automata

DOI10.1007/978-3-662-48057-1_35zbMath1465.68186OpenAlexW2293144113MaRDI QIDQ2946360

Marcello M. Bonsangue, Julian Salamanca, 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)

Related Items

Duality of Equations and Coequations via Contravariant Adjunctions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A coalgebraic perspective on linear weighted automata
• The dual equivalence of equations and coequations for automata
• Foundations of system theory: The Hankel matrix
• Universal coalgebra: A theory of systems
• Positive varieties of tree languages
• Minimization via Duality
• On the definition of a family of automata
• Duality and Equational Theory of Regular Languages
• Algebra-coalgebra duality in brzozowski's minimization algorithm
• Generalized Eilenberg Theorem I: Local Varieties of Languages