The Ehrenfeucht-Mycielski Sequence
- Cite this paper as:
- Sutner K. (2003) The Ehrenfeucht-Mycielski Sequence. In: Ibarra O.H., Dang Z. (eds) Implementation and Application of Automata. CIAA 2003. Lecture Notes in Computer Science, vol 2759. Springer, Berlin, Heidelberg
We study the disjunctive binary sequence introduced by Ehrenfeucht and Mycielski in . The match length associated to the bits of the sequence is shown to be a crucial tool in the analysis of the sequence. We show that the match length between two consecutive bits in the sequence differs at most by 1 and give a lower bound for the limiting density of the sequence. Experimental computation in the automata package has been very helpful in developing these results.
Unable to display preview. Download preview PDF.