有理关系的重新同步统一化和可定义性问题
摘要：利用常规同步语言可以定义有限字词的有理关系，并对有理关系的子类，如自动化或可识别关系，进行特征化。我们系统地研究了在这些同步语言中定义的有理关系子类的统一化问题和定义问题的可决定性。我们在这个框架下重新表述已知的结果，并通过添加几个新的可决定性和不可决定性结果来完善这个图景。
作者：Christof L"oding and Sarah Winter
论文ID：2104.12508
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-08-30