考查教材5.4.2、5.4.3、5.4.4和5.4.5节所介绍的各种迭代式二叉树遍历算法。a)试证明，这些算法都是正确的——亦即，的确会访问每个节点一次且仅一次；b)试证明，无论递归式或迭代式，这些算法都具有线性时间复杂度；c)这些算法的空间复杂度呢？