2019
DOI: 10.1007/978-3-030-28796-2_10
|View full text |Cite
|
Sign up to set email alerts
|

Circularly Squarefree Words and Unbordered Conjugates: A New Approach

Abstract: Using a new approach based on automatic sequences, logic, and a decision procedure, we reprove some old theorems about circularly squarefree words and unbordered conjugates in a new and simpler way. Furthermore, we prove three new results about unbordered conjugates: we complete the classification, due to Harju and Nowotka, of binary words with the maximum number of unbordered conjugates; we prove that for every possible number, up to the maximum, there exists a word having that number of unbordered conjugates… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1

Citation Types

0
4
0

Year Published

2020
2020
2020
2020

Publication Types

Select...
4

Relationship

0
4

Authors

Journals

citations
Cited by 4 publications
(4 citation statements)
references
References 9 publications
0
4
0
Order By: Relevance
“…The Thue-Morse word t is a 2-automatic word, so Walnut is applicable. We wish to keep the discussion on the decision procedure and usage of Walnut brief, so we merely describe the logical formulas necessary to encode our problem and refer the reader to [8] for a proof of Theorem 5.3 using Walnut. See also [34].…”
Section: Theorem 53 If N /mentioning
confidence: 99%
“…The Thue-Morse word t is a 2-automatic word, so Walnut is applicable. We wish to keep the discussion on the decision procedure and usage of Walnut brief, so we merely describe the logical formulas necessary to encode our problem and refer the reader to [8] for a proof of Theorem 5.3 using Walnut. See also [34].…”
Section: Theorem 53 If N /mentioning
confidence: 99%
“…In particular, the word u is a factor of the circular word w if and only if u is a factor of some conjugate of w, and the circular word w is square-free if and only if every conjugate of w is square-free. The following theorem was first proven by Currie [5], and has since been reproven by several different methods [6,14].…”
Section: Introductionmentioning
confidence: 99%
“…Several other proofs [21,4,15] of this theorem have now been given, signaling increasing interest in circular words. (See also [6,16].)…”
Section: Introductionmentioning
confidence: 99%