Satz Auf entscheidbare Sprache Turing-reduzierbare Sprache ist entscheidbar

Einfache Sprache

Def. Satz Auf entscheidbare Sprache Turing-reduzierbare Sprache ist entscheidbar

Sei $L'$ eine entscheidbare Sprache und $L$ Turing-reduzierbar zu $L'$. Dann ist $L$ auch entscheidbar.