假设以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 <string>

using namespace std;

int main(){
    int n, m;
    // 读取序列个数n和堆栈最大容量m
    cin >> n >> m;
    // 读取剩余的换行符
    cin.ignore();

    while(n--){
        string seq;
        // 读取当前操作序列
        getline(cin, seq);
        
        int current_size = 0;       // 当前堆栈大小
        bool valid = true;          // 序列是否合法

        for(char op : seq){
            if(op == 'S'){          // 入栈操作
                current_size++;
                if(current_size > m){ // 检查是否超过堆栈最大容量
                    valid = false;
                    break;
                }
            }
            else if(op == 'X'){     // 出栈操作
                if(current_size == 0){ // 检查是否在空堆栈上出栈
                    valid = false;
                    break;
                }
                current_size--;
            }
            else{
                // 如果操作字符不是'S'或'X'，则视为非法
                valid = false;
                break;
            }
        }

        // 检查最终堆栈是否为空
        if(current_size != 0){
            valid = false;
        }

        // 输出结果
        if(valid){
            cout << "YES" << endl;
        }
        else{
            cout << "NO" << endl;
        }
    }

    return 0;
}