Coalgebras for Bisimulation of Weighted Automata over Semirings

Weighted automata are a generalization of nondeterministic automata that associate a weight drawn from a semiring $K$ with every transition and every state. Their behaviours can be formalized either as weighted language equivalence or weighted bisimulation. In this paper we explore the properties of...

Full description

Bibliographic Details
Main Author: Purandar Bhaduri
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2023-01-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/8441/pdf