Angenommen, \(L\in \operatorname{REG}\).
Dann gibt es eine Pumpinglänge \(n>0\) und wir können \(w=0^{2^n}\) wählen, denn \(\lvert w \rvert > n\) und \(w\in L\).
Seien \(u,v,w\in \Sigma^*\) beliebig und gelte \(|uv|\leq n\) und \(|v|>0\). Dann müssen in \(u\) und \(v\) nur \(0\)en enthalten sein, egal wie man das Wort zerteilt.
Sei \(u:=0^k\), \(v:=0^l\) mit \(k,\,l\in \mathbb{N}\), \(k+l\leq n\), \(l>0\) und \(w:=0^{2^n-l-k}\). Betrachten wir jetzt zum Beispiel \(i=0\), haben wir: $$\begin{aligned}uv^0w &= 0^k.0^{2^n-l-k}\\&=0^{2^n-l}\notin L,\end{aligned}$$ weil \(l>0\) und \(l<n\). Widerspruch, \(L\) war nicht regulär.