7-2 堆栈操作合法性（20 分）

假设以S和X分别表示入栈和出栈操作。如果根据一个仅由S和X构成的序列，对一个空堆栈进行操作，相应操作均可行（如没有出现删除时栈空）且最后状态也是栈空，则称该序列是合法的堆栈操作序列。请编写程序，输入S和X序列，判断该序列是否合法。

输入格式:
输入第一行给出两个正整数N和M，其中N是待测序列的个数，M（≤50）是堆栈的最大容量。随后N行，每行中给出一个仅由S和X构成的序列。序列保证不为空，且长度不超过100。

输出格式:
对每个序列，在一行中输出YES如果该序列是合法的堆栈操作序列，或NO如果不是。

输入样例：

4 10
SSSXXSXXSX
SSSXXSXXS
SSSSSSSSSSXSSXXXXXXXXXXX
SSSXXSXXX

输出样例：

YES
NO
NO
NO

代码如下：

#include<iostream>
#include<malloc.h>
#include<stdlib.h>
#include<string>
#define OVERFLOW   -2
#define OK          1
#define ERROR       0
typedef int  Status;
using namespace std;
typedef struct
{
    char *base;
    char *top;
    int stacksize;
} SqStack;
Status InitStack(SqStack &S,int L)
{
    S.base=new char[L];
    if(!S.base)
        exit(OVERFLOW);
    S.top=S.base;
    S.stacksize=L;
    return OK;
}
Status push(SqStack &S,char c)
{
    if(S.top-S.base==S.stacksize)
        return ERROR;
    *S.top++=c;
    return OK;
}
Status pop(SqStack &S,char c)
{
    if(S.top==S.base)
        return ERROR;
    c=*(--S.top);
    return OK;
}
bool IsRight(string s,int L)
{
    int i=0,flag=1;
    SqStack St;
    InitStack(St,L);
    while(s[i]!='\0')
    {
        if(s[i]=='S')
        {
            if(push(St,s[i])==OK)
                i++;
            else
            {
                flag=0;
                break;
            }
        }
        else
        {
            if(pop(St,s[i])==OK)
                i++;
            else
            {
                flag=0;
                break;
            }
        }
    }
    if((St.top==St.base) && s[i]=='\0')
        flag=1;
    else
        flag=0;
    if(flag==1)
        return true;
    else
        return false;
}
int main()
{
    int N,M,k=0;
    char c;
    string ss;
    cin>>N>>M;
    for(int i=0; i<N; i++)
    {
        cin>>ss;
        if(IsRight(ss,M)==true)
            cout<<"YES"<<endl;
        else
            cout<<"NO"<<endl;
    }
}