TY - RPRT TI - Decomposition of Automata recognizing Ideals AU - Mathias Berry AU - Pierre-Cyrille Héam AU - Ismaël Jecker PY - 2026 UR - https://arxiv.org/abs/2604.25619 ID - 2604.25619 ER -