Berechenbarkeit

Zusammenfassung

Turingautomaten können – wie endliche Automaten – nicht nur als Sprachentscheider oder als Sprachakzeptoren betrachtet werden, sondern – wie endliche Maschinen – als Berechner von Funktionen. Die Turing-Berechenbarkeit ist eine der ersten mathematischen Formalisierungen und Präzisierungen des Begriffs Berechenbarkeit. Turing-Berechenbarkeit ist ein Ansatz zur formalen Präzisierung des Berechenbarkeitsbegriffs, der von einem intuitiven Verständnis von Berechenbarkeit, dem menschlichen Rechnen mithilfe von Bleistift und Papier, ausgeht.