Ackermann函数的非递归解

本文利用数组给出Ackermann函数的一个非递归解,并证明其正确性。