阿克曼函数：修订间差异

2025年7月3日 (四) 16:59的版本

阿克曼函数(Ackermann function)是由德国数学家威廉·阿克曼(Wilhelm Ackermann)创造的非原始递归函数。

$A (m, n) = {\begin{cases} n + 1 & , m = 0 \\ A (m - 1, 1) & , m > 0 and n = 0 \\ A (m - 1, A (m, n - 1)) & , m > 0 and n > 0 \end{cases}$

@@ 第1行： / 第1行： @@
 '''阿克曼函数(Ackermann function)'''是由德国数学家威廉·阿克曼(Wilhelm Ackermann)创造的非原始递归函数。
+==== 定义 ====
+<math>A(m, n) =
+  \begin{cases}
+     n+1 &, m=0 \\
+     A(m-1, 1) &, m>0\ \text{and}\ n=0\\
+     A(m-1, A(m, n-1)) &, m>0\ \text{and}\ n>0\\
+  \end{cases}</math>
+==== 函数值表 ====