TY - RPRT TI - Efficient Decomposition Identification of Deterministic Finite Automata from Examples AU - Junjie Meng AU - Jie An AU - Yong Li AU - Andrea Turrini AU - Fanjiang Xu AU - Naijun Zhan AU - Miaomiao Zhang PY - 2025 UR - https://arxiv.org/abs/2509.24347 ID - 2509.24347 ER -