“successor function”的概念、定义、翻译、参考文献-科学参考

successor function

Computer

1. The function SUCC that occurs in programming languages such as Ada or Pascal and produces the next element of an enumeration type. Typically
$\begin{array}{l} S U C C (4) produces 5 \\ S U C C (‘ A ’) produces ‘ B ’ \end{array}$
2. The function
$\begin{array}{l} S : N \to N \\ for which S (n) = n + 1 \end{array}$
where N is the nonnegative integers. S plays a crucial role in recursive function theory, particularly in the definition of primitive recursive functions.

单词	successor function
释义	successor function Computer 1. The function SUCC that occurs in programming languages such as Ada or Pascal and produces the next element of an enumeration type. Typically $\begin{array}{l} S U C C (4) produces 5 \\ S U C C (‘ A ’) produces ‘ B ’ \end{array}$ 2. The function $\begin{array}{l} S : N \to N \\ for which S (n) = n + 1 \end{array}$ where N is the nonnegative integers. S plays a crucial role in recursive function theory, particularly in the definition of primitive recursive functions.
随便看	horizontal check horizontal coordinates horizontal drilling horizontal equity horizontal gene transfer horizontal hole horizontal integration horizontal lander horizontal merger horizontal microinstruction horizontal parallax horizontal polarization horizontal recording horizontal refraction horizontal stack horizontal surround sound horizontal take-off and landing Horkheimer, Max (1895–1973) hormogonium hormone horn horn antenna hornblende hornblende–hornfels facies hornblendite