Turing

Turingmaschinen und Berechenbarkeitstheorie

Die in der Berechenbarkeitstheorie untersuchte Hauptform der Berechenbarkeit wurde von Turing (1936) eingeführt. Eine Funktion f von natürlichen Zahle...