Decomposition of Automata recognizing Ideals

Mathias Berry, Pierre-Cyrille Héam, Ismaël Jecker

Minimizing the size of finite automata is a fundamental problem in theoretical computer science. Beyond standard minimization, further reductions can be achieved by decomposing an…