Coalgebras for Bisimulation of Weighted Automata over Semirings

by   Purandar Bhaduri, et al.

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 weighted automata in the framework of coalgebras over (i) the category π–²π–¬π—ˆπ–½ of semimodules over a semiring K and K-linear maps, and (ii) the category 𝖲𝖾𝗍 of sets and maps. We show that the behavioural equivalences defined by the corresponding final coalgebras in these two cases characterize weighted language equivalence and weighted bisimulation, respectively. These results extend earlier work by Bonchi et al. using the category 𝖡𝖾𝖼𝗍 of vector spaces and linear maps as the underlying model for weighted automata with weights drawn from a field K. The key step in our work is generalizing the notions of linear relations and linear bisimulations of Boreale from vector spaces to semimodules using the concept of the kernel of a K-linear map in the sense of universal algebra. We also provide an abstract procedure for forward partition refinement for computing weighted language equivalence. Since for weighted automata defined over semirings the problem is undecidable in general, it is guaranteed to halt only in special cases. Although the results are similar to those of Bonchi et al, many of our proofs are new, especially for the coalgebra in π–²π–¬π—ˆπ–½ characterizing weighted language equivalence.


page 1

page 2

page 3

page 4

βˆ™ 05/23/2020

Minimisation in Logical Form

Stone-type dualities provide a powerful mathematical framework for study...
βˆ™ 01/02/2020

Incremental Monoidal Grammars

In this work we define formal grammars in terms of free monoidal categor...
βˆ™ 02/21/2019

Aperiodic Weighted Automata and Weighted First-Order Logic

By fundamental results of SchΓΌtzenberger, McNaughton and Papert from the...
βˆ™ 01/02/2020

Representing Unordered Data Using Multiset Automata and Complex Numbers

Unordered, variable-sized inputs arise in many settings across multiple ...
βˆ™ 02/21/2018

Proper Semirings and Proper Convex Functors

Esik and Maletti introduced the notion of a proper semiring and proved t...
βˆ™ 12/17/2021

Morphisms and minimisation of weighted automata

This paper studies the algorithms for the minimisation of weighted autom...
βˆ™ 05/26/2022

The boundedness and zero isolation problems for weighted automata over nonnegative rationals

We consider linear cost-register automata (equivalent to weighted automa...

Please sign up or login with your details

Forgot password? Click here to reset