TY - RPRT TI - Nondeterminism makes unary 1-limited automata concise AU - Bruno Guillon AU - Luca Prigioniero AU - Javad Taheri PY - 2025 UR - https://arxiv.org/abs/2504.08464 ID - 2504.08464 ER -