Nie jest regularny.
Dowód niewprost.
Jeśli \(L\) jest regularny, to istnieje DFA \(\mathcal{A}\) rozstrzygający go. Niech \(n\) - liczba stanów \(\mathcal{A}\). Weźmy teraz wszystkie słowa postaci \((10)^i, i = 1\dots n+1\). Wiemy, ze istnieją dwa takie słowa \((10)^i\) oraz \((10)^j\), że przetwarzanie ich kończy się w tym samym stanie. Bez straty ogólności \(i < j\). Teraz dopisujemy do obu \((01)^i 111\). Oczywiście \((10)^i(01)^i111 \in L\) oraz \((10)^j(01)^i111 \notin L\), ale kończą się w tym samym stanie.
W drugim przykładzie z tego zadania: Podobny dowód jak wyżej, ale przyjrzyjmy się ciągom postaci \(10^i11\), a potem spróbujmy doklejać \(10^j\)