Weitere Berechnungsmodelle

Worum geht es hier?

Es gibt neben der Turingmaschine eine ganze Reihe weiterer Ansätze zur Präzisierung des Algorithmusbegriffs. Hier sollen zwei dieser Ansätze nur kurz vorgestellt werden und die entsprechenden Berechnungsmodelle in Beziehung zum Turingmaschinen-Berechnungsmodell gesetzt werden.

Hier lernst du ...

• ... wie man algorithmische Berechenbarkeit mit Hilfe von Registermaschinen präzisiert.
• ... wie man algorithmische Berechenbarkeit mit Hilfe einer einfachen Programmiersprache präzisiert.
• ... wie die verschiedenen Präzisierungsansätze zusammenhängen.
• ... was die Church-Turing-These besagt.