“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.
随便看	Vane, Sir John Robert vane test Vanguard van Hoften, James Dougal Adrianus (1944– ) vanilla Vanini, Giulio Cesare (c.1584–1619) vanish vanity vanity domain van Laar equations Van Maanen, Adriaan van Maanen’s Star Van't Hoff, Jacobus Henricus Vanuatu Van Urk’s reagent Van Vleck, John Hasbrouck van Wijngaarden grammar van’t Hoff factor van’t Hoff, Jacobus van’t Hoff, Jacobus Henricus (1852–1911) van’t Hoff’s isochore vaporization vapour vapour-absorption cycle vapour cloud explosion