Lexikon der Mathematik: GOTO-berechenbar
Eigenschaft einer Funktion f : ℕ0k → ℕ0.
Eine solche Funktion f ist GOTO-berechenbar, falls es ein GOTO-Programm gibt, welches f berechnet.
GOTO-Berechenbarkeit ist eine mögliche unter vielen äquivalenten Definitionen von „berechenbar“ (Churchsche These).
Copyright Springer Verlag GmbH Deutschland 2017
Schreiben Sie uns!