Berechenbarkeit #01 - Einführung
v4.0.6.3 (Master) Berechenbarkeit - Universelle Turing-Maschine
Berechenbarkeit #34 - Satz von Rice
Berechenbarkeit #27 - Entscheidbarkeit und Unentscheidbarkeit
Decidable, undecidable, semi-decidable?
Berechenbarkeit #48 - Postsches Korrespondenzproblem (PKP)
Einführung in die Berechenbarkeit - Berechenbarkeit #1 | Simplexity
Berechenbarkeit #13 - WHILE-Programme
Berechenbarkeit #31 - Reduktionen
v4.0.3.3 (Master) Berechenbarkeit - Turing-Maschine Gymnastik
Berechenbarkeit #30 - Wortproblem und Halteproblem sind unentscheidbar
Berechenbarkeit und Entscheidbarkeit
Berechenbarkeit #03 - Deterministische Turing-Maschinen
Berechenbarkeit
Berechenbarkeit #39 - Rekursive Aufzählbarkeit
Berechenbarkeit #15 - WHILE-berechenbar folgt Turing-berechenbar
Berechenbarkeit #41 - Typ-0-Grammatiken
Berechenbarkeit #07 - Mehrband-DTM in DTM umwandeln (Beweis)
Das Halteproblem | Theoretische Informatik
v4.0.3 (Master) Berechenbarkeit - Turing Maschine
Berechenbarkeit #29 - Das spezielle Wortproblem ist unentscheidbar
Berechenbarkeit #10 - NTM zu DTM umwandeln
Berechenbarkeit #14 - WHILE-Programme (Beispiele)
Berechenbarkeit #32 - Busy Beaver
Berechenbarkeit #08 - Nichtdeterministische Turingmaschinen (NTM)
