Skip to Main content Skip to Navigation
New interface
Journal articles

A Coalgebraic Perspective on Linear Weighted Automata

Abstract : Weighted automata are a generalization of non-deterministic automata where each transition, in addition to an input letter, has also a quantity expressing the weight (e.g. cost or probability) of its execution. As for non-deterministic automata, their behaviours can be expressed in terms of either (weighted) bisimilarity or (weighted) language equivalence. Coalgebras provide a categorical framework for the uniform study of tate-based systems and their behaviours. In this work, we show that coalgebras can suitably model weighted automata in two different ways: coalgebras on Set (the category of sets and functions) characterize weighted bisimilarity, while coalgebras on Vect (the category of vector spaces and linear maps) characterize weighted language equivalence. Relying on the second characterization, we show three different procedures for computing weighted language equivalence. The first one consists in a generalizion of the usual partition refinement algorithm for ordinary automata. The second one is the backward version of the first one. The third procedure relies on a syntactic representation of rational weighted languages.
Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00576921
Contributor : Filippo Bonchi Connect in order to contact the contributor
Submitted on : Tuesday, March 15, 2011 - 4:35:42 PM
Last modification on : Friday, November 25, 2022 - 6:54:49 PM
Long-term archiving on: : Thursday, June 16, 2011 - 3:05:09 AM

File

lwac.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00576921, version 1

Collections

Citation

Filippo Bonchi, Marcello Bonsangue, Michele Boreale, Jan Rutten, Alexandra Silva. A Coalgebraic Perspective on Linear Weighted Automata. Information and Computation, 2012, 211, pp.77-105. ⟨hal-00576921⟩

Share

Metrics

Record views

203

Files downloads

167