Handout - Institut für Theoretische Informatik - Technische ...

4. Church-Turing-These 4.0 Vorbemerkungen
4.0 Alternativen zu Turingmaschinen
Laut Church-Turing-These (oder besser: Vermutung) stimmt die Klasse
aller intuitiv “algorithmisch berechenbaren” Funktionen mit der Klasse der
Turing-berechenbaren Funktionen überein.
Diese These kann prinzipiell nicht beweisen werden, wird aber dadurch
untermauert, daß andere natürliche Formalisierungen des Algorithmus
Begriffs dieselben Klassen berechenbarer Funktionen liefern. Zur Sprache
kommen könnten hier
⊲ Registermaschinen (RAMs), die heutigen Computern näher stehen als
klassische TMn (sehr kurz);
⊲ formale Grammatiken (eine Verallgemeinerung kfG’n, sind der
Bologna-Reform zum Opfer gefallen)
⊲ die Theorie der sog. rekursiven Funktionen.
Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 48 / 215