Recursive Construction  Output  

An orientable sequence or orientable universal cycle is a UC of order $n$ for a set $\mathbf{S}$ that does not contain both a string and its reversal, i.e., if $\mathbf{S}$ contains $w$ then it does not contain its reversal $w^R$ [DMRW93,MW21]. Thus $\mathbf{S}$ necessarily excludes palindromes.
Orientable UCs do not exist for $n<5$, and 001101 is a longest orientable UC for $n=5$. Lempel's $D$morphism can be applied to recursively construct orientable UCs with length at least 63% of the trivial upper bound $2^{n1}  2^{\lfloor (n1)/2\rfloor}$. Tighter bounds are known as given in the table below [DMRW93].
Let $\mathcal{O}_n$ denote an orientable UC of order $n$ and length $m$ with odd weight and the following property: it has exactly one substring $0^{n4}$. Let $\mathcal{O}_{n+1}$ be $D^{1}(\mathcal{O_n})$ replacing the unique substring $1^{n+14}$ with $1^{n+13}$ when its weight is even. The resulting orientable UC has length $2m$ or $2m{+}1$, has odd weight, and has the property of having exactly one substring $0^{n+14}$.
Let $\mathcal{O}_6 = \underline{00}1010111$. Then applying $D^{1}$ yields $\mathcal{O}_7 = \underline{000}110010111001101$ which has odd weight. Applying $D^{1}$ again yields 000010001101000100111101110010111011 which has even weight so the unique substring 1111 is replaced with 11111 to yield $$\mathcal{O}_8 = \underline{0000}100011010001001111101110010111011.$$
The implementation used above uses an orientable sequence of order $n=8$ of length 80 as a base case for recursively computing larger orders. Brute force found optimal length orientable sequences for $n<8$. Below is a table of the length of orientable sequences constructed compared to the upper bound from [DMRW93] or from exhaustive search.
The linear relative of orientable UCs are known as aperiodic orientable sequences (or aperiodic 2orientable window sequences in [BM93]). Trivially, they can be obtained from an orientable UC by copying the length $n{}1$ prefix and appending it to the end, and a trivial upper bound for their maximal length is $2^{n1}  2^{\lfloor (n1)/2\rfloor} + (n{}1)$. Longer constructions that have length at least 2/3 optimal can also be constructed by applying the properties of the $D$morphism [MW21].
Let $\mathcal{A}_n$ denote an aperiodic orientable sequence of order $n$ and length $m$ with the following property: it begins with $0^{n1}$ and ends with $1^{n1}$. Let $D^{1}(\mathcal{A_n}) = \{U,\overline{U} \}$, where $U$ begins with 0. Construct $\mathcal{A}_{n+1}$ by joining $U$ with the reversal of $\overline{U}$ overlapping the alternating suffix of the former with the alternating prefix of the latter. When $n$ is even, the overlap has length $n$; when $n$ is odd, the overlap has length $n{}1$. $\mathcal{A}_{n+1}$ retains the property of beginning with $0^n$ and ending with $1^n$.
Let $\mathcal{A}_3 = 0011$. $D^{1}(0011) = \{00010, 11101\}$ and $\mathcal{A}_4 = 000\underline{10}111$, where the overlap is underlined. Continuing, $D^{1}(00010111) = \{000011010, 111100101\}$ and $\mathcal{A}_5 = 00001\underline{1010}01111$.
Below is a table of the length of aperiodic orientable sequences obtained from this construction compared to sequence lengths found in [BM93] and the trivial upper bound.
(Aperiodic) orientable sequences have application in robotic positionlocation systems allowing a robot to determine both its location and orientation.