Equations and coequations for weighted automata

DOI10.1007/978-3-662-48057-1_35zbMATH Open1465.68186OpenAlexW2293144113MaRDI QIDQ2946360FDOQ2946360

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

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

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Cites Work

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

Cited In (6)

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

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)