判定有理关系的共轭性
摘要：有理关系的共轭性指的是每一对相关单词都是共轭的。本研究证明了检查有理关系是否共轭是可判定的。为了实现这一点，我们推广了Lyndon-Schützenberger定理在词组合学中的应用。推广的一个结果是，由无和谐有理表达式生成的一组成对关系的共轭性成立当且仅当存在一个单词证明了所有这些成对关系的共轭性。
作者：C. Aiswarya, Amaldev Manuel, Saina Sunny
论文ID：2307.06777
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-07-14