TY - RPRT TI - The Myhill-Nerode Theorem for Bounded Interaction: Canonical Abstractions via Agent-Bounded Indistinguishability AU - Anthony T. Nixon PY - 2026 UR - https://arxiv.org/abs/2603.21399 ID - 2603.21399 ER -