CoPaR: An Efficient Generic Partition Refiner

11/21/2018
by   Hans-Peter Deifel, et al.
0

Partition refinement is a method for minimizing automata and transition systems of various types. We present a tool implementing a recently developed partition refinement algorithm that is generic in the transition type of the given system and typically runs in time either O(m· n) or O(m· n· m) for systems with m edges and n states. This matches the runtime of the best known algorithms for several fixed types of systems, e.g. deterministic automata as well as ordinary, weighted, and probabilistic (labelled) transition systems, and in the case of weighted systems over non-cancellative monoids, such as (the additive monoid of) the tropical semiring, even improves the asymptotic runtime. Genericity is achieved by modelling transition types as endofunctors on sets and state-based systems as coalgebras. In addition to thus obtaining an efficient partion refiner for the mentioned types of systems, we demonstrate how the user can quickly obtain a partition refiner for new types of systems by composing pre-implemented basic functors, and how the tool can easily be extended with new basic functors by implementing a refinement interface.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/02/2020

From Generic Partition Refinement to Weighted Tree Automata Minimization

Partition refinement is a method for minimizing automata and transition ...
research
06/14/2018

Efficient and Modular Coalgebraic Partition Refinement

We present a generic partition refinement algorithm that quotients coalg...
research
03/14/2022

Lowerbounds for Bisimulation by Partition Refinement

We provide time lower bounds for sequential and parallel algorithms deci...
research
04/13/2022

Distributed Coalgebraic Partition Refinement

Partition refinement is a method for minimizing automata and transition ...
research
02/25/2021

Coalgebra Encoding for Efficient Minimization

Recently, we have developed an efficient generic partition refinement al...
research
03/21/2022

Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence

We provide a generic algorithm for constructing formulae that distinguis...
research
12/17/2021

Morphisms and minimisation of weighted automata

This paper studies the algorithms for the minimisation of weighted autom...

Please sign up or login with your details

Forgot password? Click here to reset