Lexikon der Mathematik: total berechenbar
total-rekursiü, Bezeichnung für eine berechenbare Funktion, die total (überall definiert) ist.
Dies bedeutet, daß der die Funktion berechnende Algorithmus bei jeder Eingabe in endlicher Zeit stoppt und den betreffenden Funktionswert liefert.
Copyright Springer Verlag GmbH Deutschland 2017
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.