2012
DOI: 10.1007/978-3-642-28729-9_4
|View full text |Cite
|
Sign up to set email alerts
|

A Coalgebraic Perspective on Minimization and Determinization

Abstract: 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 an abstract procedure for equivalence checking. T… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2

Citation Types

1
82
0

Year Published

2012
2012
2023
2023

Publication Types

Select...
5
2

Relationship

2
5

Authors

Journals

citations
Cited by 46 publications
(83 citation statements)
references
References 17 publications
1
82
0
Order By: Relevance
“…e.g. [1]). This factorization structure can be used in order to define the minimization of a coalgebra.…”
Section: Introductionmentioning
confidence: 99%
See 1 more Smart Citation
“…e.g. [1]). This factorization structure can be used in order to define the minimization of a coalgebra.…”
Section: Introductionmentioning
confidence: 99%
“…In this case, given our assumptions on the category C and the functor T : C − → C, the minimization of a coalgebra (X, γ) ∈ Coalg(T) exists (cf. [1,Thm. 3.8]).…”
Section: Introductionmentioning
confidence: 99%
“…Some recent descriptions of minimisations of non-deterministic automata have been presented by Brzozowski and Tamm [9] and Adámek, Bonchi et al [3]. We mention them here because they are based on the languages associated to every state of the automaton.…”
Section: Final Automatamentioning
confidence: 99%
“…In [3], a coalgebraic point of view of this kind of description is presented. However, non-deterministic automata are considered there as coalgebras for the functor A × Id + 1 : Rel −→ Rel, where Rel denotes the category of sets and relations.…”
Section: Final Automatamentioning
confidence: 99%
“…We apply this algorithm to the following automaton (taken from[Adámek et al 2012a]): the language L = {wb | |w| b ≥ 1} consisting of all words ending in a b and containing at least two b's. Applying the lower inverse construction and taking reachability, we obtain the automaton ?>=< 89:; the reverse language rev(L) = {bw | |w| b ≥ 1}.…”
mentioning
confidence: 99%