Nielsen 变换在带长度约束的单词方程中的终止性
计算机科学中的逻辑
2025-01-22 v1 形式语言与自动机理论
摘要
Nielsen 变换是求解单词方程的一种简单且广泛使用的程序的基础。我们在长度约束存在的情况下，推进确定该程序何时终止的问题。为此，我们引入了扩展单词方程，这是一种带有长度约束部分信息的单词方程的数学模型。随后，我们定义了扩展 Nielsen 变换，将 Nielsen 变换适应于扩展单词方程的情境。我们提供了关于反复应用扩展 Nielsen 变换到扩展单词方程时，何时保证其终止的部分特征描述。
关键词
引用
@article{arxiv.2501.11789,
title = {The termination of Nielsen transformations applied to word equations with length constraints},
author = {Benjamin Przybocki and Clark Barrett},
journal= {arXiv preprint arXiv:2501.11789},
year = {2025}
}