A local balance property of episturmian words
Gw\'ena\"el Richomme (LaRIA)
TL;DR
This paper characterizes episturmian words and Arnoux-Rauzy sequences through a local balance property, introduces a new characterization of epistandard words, and explores the complexity of words not factors of episturmian words.
Contribution
It provides a novel local balance characterization of episturmian words and related sequences, and analyzes the formal language complexity of non-factors.
Findings
Episturmian words and Arnoux-Rauzy sequences can be characterized by a local balance property.
A new characterization of epistandard words is introduced.
The set of words not factors of an episturmian word is not context-free.
Abstract
We prove that episturmian words and Arnoux-Rauzy sequences can be characterized using a local balance property. We also give a new characterization of epistandard words and show that the set of finite words that are not factors of an episturmian word is not context-free.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
Topicssemigroups and automata theory · Advanced Algebra and Logic · Logic, programming, and type systems