附录E 迭代结构与递归结构的等价性