TY - RPRT TI - A Myhill-Nerode Type Characterization of 2detLIN Languages AU - Benedek Nagy PY - 2025 DO - 10.4204/eptcs.422.6 UR - https://arxiv.org/abs/2507.15316 ID - 2507.15316 ER -