试编写算法判断两棵二叉树是否等价。若二叉树T1和T2等价，则T1和T2都是空的二叉树；或T1和T2的根节点的值相同，并且T1的左子树与T2的左子树是等价的，T1的右子树与T2的右子树是等价的。