Sciweavers

Share
FOSSACS
2012
Springer

A Coalgebraic Perspective on Minimization and Determinization

7 years 3 months ago
A Coalgebraic Perspective on Minimization and Determinization
Coalgebra offers a unified theory of state based systems, including infinite streams, labelled transition systems and deterministic automata. In this paper, we use the coalgebraic view on systems to derive, in a uniform way, abstract procedures for checking behavioural equivalence in coalgebras, which perform (a combination of) minimization and determinization. First, we show that for coalgebras in categories equipped with factorization structures, there exists act procedure for equivalence checking. Then, we consider coalgebras in categories without suitable factorization structures: under certain conditions, it is possible to apply the above procedure after transforming coalgebras with reflections. This transformation can be thought of as some kind of determinization. We will apply our theory to the following examples: conditional transition systems, (non-deterministic) automata and linear weighted automata.
Jirí Adámek, Filippo Bonchi, Mathias
Added 21 Apr 2012
Updated 21 Apr 2012
Type Journal
Year 2012
Where FOSSACS
Authors Jirí Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva
Comments (0)
books