2026-07-21T20:03:35Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:14266 2024-03-06T10:53:18Z ddc:004 open_access

Coalgebra Encoding for Efficient Minimization Deifel, Hans-Peter Milius, Stefan Wißmann, Thorsten Coalgebra Partition refinement Transition systems Minimization Recently, we have developed an efficient generic partition refinement algorithm, which computes behavioural equivalence on a state-based system given as an encoded coalgebra, and implemented it in the tool CoPaR. Here we extend this to a fully fledged minimization algorithm and tool by integrating two new aspects: (1) the computation of the transition structure on the minimized state set, and (2) the computation of the reachable part of the given system. In our generic coalgebraic setting these two aspects turn out to be surprisingly non-trivial requiring us to extend the previous theory. In particular, we identify a sufficient condition on encodings of coalgebras, and we show how to augment the existing interface, which encapsulates computations that are specific for the coalgebraic type functor, to make the above extensions possible. Both extensions have linear run time. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Hans-Peter Deifel and Stefan Milius and Thorsten Wißmann 2021 Is Part Of LIPIcs, Volume 195, 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.FSCD.2021.28 urn:nbn:de:0030-drops-142664 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2021.28 eng https://creativecommons.org/licenses/by/4.0/legalcode