A Congruence-based Perspective on Automata Minimization Algorithms

Pierre Ganty, Elena Gutiérrez, Pedro Valero

In this work we use a framework of finite-state automata constructions based on equivalences over words to provide new insights on the relation between well-known methods for compu…