有限和无限词语的有理关系子类的决策问题
摘要：有限和无限字定义的有限自动机的关系的决策问题。我们证明二元确定有理关系在无限词上的等价问题是不可判定的，这与有限词的情况相反，其中问题是可判定的。此外，我们显示在对称指数时间内可判定在无限词上的自动关系是否是一个可识别关系。我们还在有限词的背景下重新考虑了这个问题，并将决策过程的复杂性提高到单指数时间。该过程基于对确定可见下推自动机的多项式时间正则性测试，这是一个独立感兴趣的结果。
作者：Christof L"oding (1) and Christopher Spinrath (2) ((1) RWTH Aachen University, (2) TU Dortmund University)
论文ID：1803.06140
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-22