Interval maps where every point is eventually fixed (Q2134947)

The authors consider the class of interval maps \(\mathcal{EF}\) where every point is eventually fixed. They show there is a natural bijection between the language \(\{L, R\}^*\) and the set of all \(\mathcal{EF}\) orbit patterns. Their main result is that an orbit pattern \(\alpha\) forces an orbit pattern \(\beta\) if and only if the word for \(\beta\) can be derived from the word for \(\alpha\) using the following rules: \begin{itemize} \item[1.] Reduction of \(LL\) to \(L\); \item[2.] Reduction of \(RR\) to \(R\); \item[3.] Reduction of \(LR\) or \(RL\) to the empty word; \item[4.] Formation of a tail. \end{itemize}