部分字中用Walnut进行正方形和立方体的机械证明
摘要：用自动机来证明在自动序列上的一些关于字合并学的定理，是一个名为Walnut的软件。我们可以利用这个软件来证明新的结果，并重新证明关于部分字避免正方形和立方体的一些旧结果。我们还定义了部分字中反方的概念，并开始研究只包含固定数量不同正方形和反方的二进制部分字。
作者：John Machacek
论文ID：2201.05954
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-08-11