@misc{indiciaeec986cb55b54, title = {The Myhill-Nerode Theorem for Bounded Interaction: Canonical Abstractions via Agent-Bounded Indistinguishability}, author = {Anthony T. Nixon}, year = {2026}, url = {https://arxiv.org/abs/2603.21399}, note = {Source identifier: 2603.21399} }