A Coalgebraic Approach to Reducing Finitary Automata

Keri D'Angelo, Alexandra Silva, Gerco van Heerdt +1

Compact representations of automata are important for efficiency. In this paper, we study methods to compute reduced automata, in which no two states accept the same language. We d…