Tribonacci字性质的机械证明
Mechanical Proofs of Properties of the Tribonacci Word
摘要：
我们实现了一个决策过程，回答一类无限的话，可能被称为（缺乏一个更好的名字）“Tribonacci自动”的问题。例如，这个类包括著名的特里波纳奇词T = 0102010010202...，态射0 -> 01，1 -> 02，2 -> 0的不动点。我们用它来reprove一些旧的结果Tribonacci字从文献中，如断言的出现在T的广场，立方体，回文，等等。我们也得到了一些新的结果。
英文摘要：
We implement a decision procedure for answering questions about a class of infinite words that might be called (for lack of a better name) "Tribonacci-automatic". This class includes, for example, the famous Tribonacci word T = 0102010010202 ..., the fixed point of the morphism 0 -> 01, 1 -> 02, 2 -> 0. We use it to reprove some old results about the Tribonacci word from the literature, such as assertions about the occurrences in T of squares, cubes, palindromes, and so forth. We also obtain some new results.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
