二元无重叠词的一阶理论是可判定的
形式语言与自动机理论
2022-09-08 v1 离散数学
计算机科学中的逻辑
组合数学
逻辑
摘要
我们证明二元无重叠词（更一般地，有理 、 的 -自由词）的一阶逻辑理论是可判定的。作为推论，先前通过繁琐的基于情形的证明获得的关于此类词的许多结果，如今可利用判定过程“自动”证明。
引用
@article{arxiv.2209.03266,
title = {The First-Order Theory of Binary Overlap-Free Words is Decidable},
author = {L. Schaeffer and J. Shallit},
journal= {arXiv preprint arXiv:2209.03266},
year = {2022}
}