Abstract
Cobham stated that sequences over a finite alphabet can be generated by anr-substitution if and only if they arer-automatic. Those sequences linked with automata as well as with substitutions may nevertheless possess sets of subwords which are, if interpreted as languages, not even context-free. This result is obtained by a study of the properties of paperfolding sequences. It is shown that any context-free set consisting of subwords of paperfolding sequences is finite.
Similar content being viewed by others
References
Alan Cobham. Uniform tag sequences.Mathematical Systems Theory, 6(2): 164–191, 1972.
C. Davis and D. Knuth. Number representation and dragon curves.Journal of Recreational Mathematics, 3: 61–81, 133–149, 1970.
Michael Harrison.Introduction to Formal Language Theory. Addison-Wesley, Reading, MA, 1978.
Michel Mendès France and A. J. van der Poorten. Arithmetic and analytic properties of paperfolding sequences.Bulletin of the Australian Mathematical Society, 24: 123–131, 1981.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Lehr, S. A result about languages concerning paperfolding sequences. Math. Systems Theory 25, 309–313 (1992). https://doi.org/10.1007/BF01213862
Received:
Revised:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01213862