\beamer@slide {Berechenbarkeitsbeispiele}{14}
\beamer@slide {pi}{22}
\beamer@slide {Zaehlen mit TM}{128}
\beamer@slide {Mehrbandmaschine}{244}
\beamer@slide {LOOP-Berechenbarkeit}{331}
\beamer@slide {CantorLOOP}{397}
\beamer@slide {WHILE2Turing}{448}
\beamer@slide {WHILE-Anzahl}{494}
\beamer@slide {PR-Loop}{700}
\beamer@slide {MU-While}{809}
\beamer@slide {universelles Loop}{879}
\beamer@slide {Wort-Zahl}{934}
\beamer@slide {h-Notation}{997}
\beamer@slide {eff_Komp}{1150}
\beamer@slide {semi/entscheidbar}{1193}
\beamer@slide {Halteproblem}{1300}
\beamer@slide {Reduzierbarkeit}{1356}
\beamer@slide {Reduktion}{1356}
\beamer@slide {PCP}{1517}
\beamer@slide {MPCP}{1566}
\beamer@slide {arithmetische Formeln}{1828}
\beamer@slide {Abschluss nach unten}{2116}
\beamer@slide {transitive Reduktion}{2132}
\beamer@slide {eindeutig}{2210}
\beamer@slide {Satz von Cook}{2216}
\beamer@slide {RUCKSACK}{2550}
\beamer@slide {probTM}{3630}