Registermaschine/Berechenbare Funktion/Mehrstellig/Definition

Aus Wikiversity
Register-berechenbar

Eine -stellige Funktion

heißt -berechenbar (oder Register-berechenbar), wenn es ein Programm für eine Registermaschine gibt, die bei jeder Eingabe (in den ersten Registern) anhält und als (einzige) Ausgabe besitzt.