Grundkurs Theoretische Informatik, Folie 9.1 © 2004 G. Vossen,K.-U. Witt Grundkurs Theoretische Informatik Kapitel 9 Gottfried Vossen Kurt-Ulrich Witt
Grundkurs Theoretische Informatik, Folie 9.2 © 2004 G. Vossen,K.-U. Witt Berechenbarkeit Turing-Berechenbarkeit Loop-, While- und Goto-Berechenbarkeit Universelle Turingmaschinen
Grundkurs Theoretische Informatik, Folie 9.3 © 2004 G. Vossen,K.-U. Witt Zur Churchschen These
Grundkurs Theoretische Informatik, Folie 9.4 © 2004 G. Vossen,K.-U. Witt Ende Kapitel 9