Satz Jede Sprache ist Turing-reduzierbar zu ihrem Komplement

Einfache Sprache

Def. Satz Jede Sprache ist Turing-reduzierbar zu ihrem Komplement

Jede Sprache $L$ ist Turing-reduzierbar zu ihrem Komplement. Also

$$L \leq_T \overline L\;.$$