Grundkurs Theoretische Informatik, Folie 9.1 © 2006 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 9 Gottfried Vossen Kurt-Ulrich Witt
Grundkurs Theoretische Informatik, Folie 9.2 © 2006 G. Vossen,K.-U. Witt Berechenbarkeit Turing-Berechenbarkeit Loop-, While- und Goto-Berechenbarkeit Primitiv rekursive und µ-rekursive Funktionen Die Churchsche These Die Ackermannfunktion Universelle Turingmaschinen
Grundkurs Theoretische Informatik, Folie 9.3 © 2006 G. Vossen,K.-U. Witt Ende Kapitel 9