We show that the first-order logical theory of the binary overlap-free words (and, more generally, the ${\alpha}$-free words for rational ${\alpha}$, $2 < {\alpha} \leq 7/3$), is decidable. As a consequence, many results previously obtained about this class through tedious case- based proofs can now be proved "automatically", using a decision procedure.
翻译：我们发现,二进制的无重叠字词(以及更广义地说,合理字母$2 < ALpha}\ leq 7/3$,$2 < ALpha}\ leq 7/3$)的第一阶逻辑逻辑理论是可以判断的。 因此,先前通过基于案件证据的乏味证据获得的关于这一类的许多结果现在可以用一个裁决程序“自动”证明。
相关内容
Arxiv
0+阅读 · 2022年10月18日
Arxiv
0+阅读 · 2022年10月18日
相关VIP内容
相关资讯
相关论文
Arxiv
0+阅读 · 2022年10月18日
Arxiv
0+阅读 · 2022年10月18日
微信扫码咨询专知VIP会员