请写出判断两个广义表是否相等的递归算法，如果两个广义表相等，则输出1，否则输出0。如A=((a))，B=((a))，则A=B，输出1。要求输入的广义表采用链式存储结构存储，并基于链式存储结构编写递归函数。

以下是判断两个广义表是否相等的递归算法：

def is_equal(g1, g2):
    if g1 is None and g2 is None:  # 两个广义表都为空，认为相等
        return 1
    elif g1 is None or g2 is None:  # 其中一个广义表为空，认为不相等
        return 0
    elif g1.data != g2.data:  # 头结点元素不相等，认为不相等
        return 0
    elif g1.tag == 0 and g2.tag == 0:  # 头结点都是原子节点，比较元素是否相等
        return is_equal(g1.next, g2.next)
    elif g1.tag == 1 and g2.tag == 1:  # 头结点都是子表节点，比较子表是否相等
        return is_equal(g1.down, g2.down) and is_equal(g1.next, g2.next)
    else:  # 头结点一个是原子节点，一个是子表节点，认为不相等
        return 0

其中，`g1`和`g2`是两个广义表的头结点，采用链式存储结构存储。`tag`表示当前节点的类型，如果是原子节点，则`tag=0`，`data`表示原子节点存储的元素；如果是子表节点，则`tag=1`，`down`指向子表的头结点。

该算法首先判断两个广义表是否都为空，如果是则认为相等。如果其中一个广义表为空，则认为不相等。如果两个广义表都不为空，就分别比较它们的头结点元素是否相等，如果不相等则认为不相等。如果两个头结点元素相等，就根据头结点类型进行不同的处理。如果头结点都是原子节点，则比较它们的下一个节点；如果头结点都是子表节点，则递归比较它们的子表和下一个节点；如果头结点一个是原子节点，一个是子表节点，则认为不相等。最终返回比较结果。

例如，对于广义表A=((a))，B=((a))，调用`is_equal(A, B)`，会返回1，表示两个广义表相等。