'序列1&序列2'模式 的字符序列的判定

试写一个算法，识别依次读入的一个以@为结束符的字符序列是否为形如'序列1&序列2'模式的字符序列。其中序列1和序列2中都不含字符'&'，且序列2是序列1的逆序列。例如，'a+b&b+a'是属该模式的字符序列，而'1+3&3-1'则不是。
Stack是一个已实现的栈。
可使用的相关类型和函数：

typedef char SElemType; // 栈Stack的元素类型
Status InitStack(Stack &s);
Status Push(Stack &s, SElemType e);
Status Pop(Stack &s, SElemType &e);
Status StackEmpty(Stack s);
Status GetTop(Stack s, SElemType &e);

实现函数如下:

Status match(char *str)
/* 若str是属该模式的字符序列，*/
/* 则返回TRUE，否则返回FALSE  */
{
   Stack s;
   SElemType c;
   char *p = str;       //声明一个指针变量指向字符序列的开头
   InitStack(s);    
   while(*p != '&'){    //将“&”之前的元素压入栈
        Push(s,*p);
        p++;   
   }
   p++;                //将指针p指向”&“的下一个元素
    while(*p != '@'){
            Pop(s,c);  //依次出栈与”&“以后”@“之前的元素匹配
            if(c != *p)
                return FALSE;
            p++;            
    }
   if(StackEmpty(s))
        return TRUE;    //若此时为空栈，则栈内元素已完全匹配完
   else
        return FALSE;
}