@article{themyhillnerodetheoremforboundedinteract, title = {The Myhill-Nerode Theorem for Bounded Interaction: Canonical Abstractions via Agent-Bounded Indistinguishability}, author = {Anthony T. Nixon}, year = {2026}, eprint = {2603.21399}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2603.21399}, }