TY - RPRT TI - Polynomial Complementation of Nondeterministic 2-Way Finite Automata by 1-Limited Automata AU - Bruno Guillon AU - Luca Prigioniero AU - Javad Taheri PY - 2025 UR - https://arxiv.org/abs/2507.11209 ID - 2507.11209 ER -