Pecan：一个基于Büchi自动机的自动序列定理证明器
Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata
摘要：
Pecan是一个自动定理证明器，用于推理Sturmian词的属性，Sturmian词是词组合学领域的重要对象。它能够有效地证明关于所有Sturmian词的非平凡数学定理。
英文摘要：
Pecan is an automated theorem prover for reasoning about properties of Sturmian words, an important object in the field of combinatorics on words. It is capable of efficiently proving non-trivial mathematical theorems about all Sturmian words.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
