论文标题
最简单的二进制单词，只有三个正方形
The Simplest Binary Word with Only Three Squares
论文作者
论文摘要
我们重新检查了无限二进制单词的先前结构，其中包含几个不同的正方形，目的是在某种意义上找到“最简单的”。我们展示了几个新的结构。与其使用乏味的基于案例的参数来证明构造具有所需的属性，而是依靠定理的软件来正确。
We re-examine previous constructions of infinite binary words containing few distinct squares with the goal of finding the "simplest", in a certain sense. We exhibit several new constructions. Rather than using tedious case-based arguments to prove that the constructions have the desired property, we rely instead on theorem-proving software for their correctness.
