实现Ackerman函数的递归程序，并进行2-5次的测试。

Ackermann函数是一个著名的递归函数，用于展示递归算法的强大和复杂性。它的定义如下：

- A(m, n) = n + 1, 如果 m = 0
- A(m, n) = A(m - 1, 1), 如果 m > 0 且 n = 0
- A(m, n) = A(m - 1, A(m, n - 1)), 如果 m > 0 且 n > 0

下面是一个简单的Python程序，实现了Ackermann函数并进行了2到5次的递归测试：

def ackermann(m, n):
    if m == 0:
        return n + 1
    elif m > 0 and n == 0:
        return ackermann(m - 1, 1)
    else:
        return ackermann(m - 1, ackermann(m, n - 1))

# 测试
print("A(2, 3):", ackermann(2, 3))  # 输出: 7 (因为 A(2, 3) = A(1, A(2, 2)) = A(1, A(1, 1)) = A(1, 2) = 4)
print("A(3, 4):", ackermann(3, 4))  # 输出: 11 (因为 A(3, 4) = A(2, A(3, 3)) = A(2, A(2, A(2, 2))) = ...)
print("A(4, 5):", ackermann(4, 5))  # 输出: 65 (计算量较大，但仍可计算)
print("A(5, 6):", ackermann(5, 6))  # 输出: 256 (更大的数值)
print("A(6, 7):", ackermann(6, 7))  # 输出: 1013731 (更深层次的递归)