Vortrag 1 Grundbegriffe der Berechenbarkeitstheorie - Fakultät für ...
Vortrag 1 Grundbegriffe der Berechenbarkeitstheorie - Fakultät für ...
Vortrag 1 Grundbegriffe der Berechenbarkeitstheorie - Fakultät für ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Teil 2:<br />
Formalisierung des Berechenbarkeitsbegriffes:<br />
Turingmaschinen und die Church-Turing-These<br />
Wir rufen das Turingmaschinenmodell kurz in Erinnerung.<br />
Hiermit wird <strong>der</strong> Berechenbarkeitsbegriff formalisiert.<br />
Da sich Entscheidbarkeit und Aufzählbarkeit auf die (partielle)<br />
Berechenbarkeit zurückführen lassen, erhalten wir so auch Formalisierungen<br />
dieser Begriffe.<br />
Die Church-Turing-These besagt, dass die Formaliserungen adäquat sind.<br />
Seminar Theor. Informatik (WS 2010/11) <strong>Grundbegriffe</strong> <strong>der</strong> <strong>Berechenbarkeitstheorie</strong> 14 / 39