◀ ▲ ▶Branches / Theoreticalcomputerscience / Computability / Corollary: The set of WHILEcomputable functions is included in the set of partially WHILEcomputable functions
Corollary: The set of WHILEcomputable functions is included in the set of partially WHILEcomputable functions
(related to Definition: WHILEComputable Functions)
There are functions \(f : \mathbb N^k \to \mathbb N\), which are partially WHILEcomputable, but are not WHILEcomputable. In particular, the set of all WHILEcomputable functions is a proper subset of the set of all partially WHILEcomputable functions:
\[W H I L E\subset W H I L E^{part}.\]
Note: This corollary actually makes sure that partially WHILEcomputable functions are welldefined.
Table of Contents
Proofs: 1
Mentioned in:
Theorems: 1
Thank you to the contributors under CC BYSA 4.0!
 Github:

References
Bibliography
 Erk, Katrin; Priese, Lutz: "Theoretische Informatik", Springer Verlag, 2000, 2nd Edition