受限制非确定性 VASS 中的语言等价性不可判定
形式语言与自动机理论
2025-10-27 v1 计算机科学中的逻辑
摘要
本文扩展了二维带状态向量加法系统（VASS）语言等价性不可判定性的已知结果。我们证明，即使其中一个 VASS 是确定性的、另一个是历史确定性的，问题仍然不可判定。此外，我们观察到，两个历史确定性 VASS 的语言相等当且仅当它们能够相互模拟。这一观察使我们能够将不可判定性推广到包含双向模拟与语言等价性的任意等价关系中。
引用
@article{arxiv.2510.21514,
title = {Language Equivalence is Undecidable in VASS with Restricted Nondeterminism},
author = {Wojciech Czerwiński and Łukasz Orlikowski},
journal= {arXiv preprint arXiv:2510.21514},
year = {2025}
}