The appearance function for paper-folding words
Rob Burns
TL;DR
This paper characterizes the appearance function for paper-folding sequences of any length, utilizing the Walnut software to establish comprehensive results.
Contribution
It provides a complete characterization of the appearance function for paper-folding words, a novel analysis in this area.
Findings
Complete characterization of the appearance function
Use of Walnut software for proof verification
Results applicable to factors of any length
Abstract
We provide a complete characterisation of the appearance function for paper-folding sequences for factors of any length. We make use of the software package {\tt Walnut} to establish these results.
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 · Cellular Automata and Applications · DNA and Biological Computing