用c语言中的堆栈试写一个算法，判断依次读入的一个以@为结束符的字母序列是否为形如'序列1&序列2”模式的字符序列。 其中序列1和序列2中都不含字符'&’且序列2是序列1的逆序列。 例如，'a+b&b+a’是属于该模式的字符序列，而'1+3&3-1’则不是。

这里给出一个用C语言实现的堆栈算法，用于判断输入的字符序列是否符合要求：

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

#define MAXSIZE 100

typedef struct {
    char data[MAXSIZE];
    int top;
} Stack;

void InitStack(Stack *S) {
    S->top = -1;
}

int StackEmpty(Stack *S) {
    return S->top == -1;
}

int StackFull(Stack *S) {
    return S->top == MAXSIZE - 1;
}

int Push(Stack *S, char elem) {
    if (StackFull(S)) {
        return 0;
    }
    S->data[++S->top] = elem;
    return 1;
}

int Pop(Stack *S) {
    if (StackEmpty(S)) {
        return 0;
    }
    S->top--;
    return 1;
}

char GetTop(Stack *S) {
    if (StackEmpty(S)) {
        return '\0';
    }
    return S->data[S->top];
}

int main() {
    Stack S;
    char str[MAXSIZE], seq1[MAXSIZE], seq2[MAXSIZE];
    int i, j, len, flag = 1;
    printf("请输入以@为结束符的字符序列：\n");
    scanf("%s", str);
    len = strlen(str);
    for (i = 0; i < len; i++) {
        if (str[i] == '&') {
            break;
        }
        seq1[i] = str[i];
    }
    seq1[i] = '\0';
    for (i = len - 1, j = 0; i >= 0; i--) {
        if (str[i] == '&') {
            break;
        }
        seq2[j++] = str[i];
    }
    seq2[j] = '\0';
    if (strlen(seq1) == strlen(seq2)) {
        InitStack(&S);
        for (i = 0; i < strlen(seq1); i++) {
            Push(&S, seq1[i]);
        }
        for (i = 0; i < strlen(seq2); i++) {
            if (GetTop(&S) != seq2[i]) {
                flag = 0;
                break;
            }
            Pop(&S);
        }
        if (!StackEmpty(&S)) {
            flag = 0;
        }
    } else {
        flag = 0;
    }
    if (flag) {
        printf("该字符序列符合要求！\n");
    } else {
        printf("该字符序列不符合要求！\n");
    }
    return 0;
}

该算法首先将输入的字符序列分为序列1和序列2两部分，然后将序列1压入堆栈，依次弹出堆栈中的元素与序列2进行比较，如果相同则继续比较，否则说明该字符序列不符合要求。如果比较完成后堆栈不为空，也说明该字符序列不符合要求。