111 citations · 169 across the 6 of their papers we have counts for
3 papers · 1 filter
Coalgebraic Characterizations of Context-Free Languages
Joost Winter, Jan J. M. Rutten, Marcello M. Bonsangue
In this article, we provide three coalgebraic characterizations of the class of context-free languages, each based on the idea of adding coalgebraic structure to an existing algebr…
Automatic Equivalence Proofs for Non-deterministic Coalgebras
Marcello Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac +3
A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene's theorem and Kleene algebra, were recently proposed by a…
Generalizing determinization from automata to coalgebras
Alexandra Silva, Filippo Bonchi, Marcello Bonsangue +1
The powerset construction is a standard method for converting a nondeterministic automaton into a deterministic one recognizing the same language. In this paper, we lift the powers…