给定一个字符串str，设计一个算法采用 顺序栈判断str是否为形如“序列1@序列2”的合法字符串，其中序列2是序列1的逆序，str中恰好只有一个@字符

要判断给定字符串 `str` 是否满足条件，你可以按照以下步骤设计一个基于顺序栈的算法：

1. **初始化栈和变量**：
- 创建一个空的顺序栈 `stack`。
- 初始化一个指针 `prev_char` 来保存上一个字符，初始值设为空（`None`）。
- 初始化两个标志变量，`reverse` 表示当前是否处于序列反转状态，初始值为 `False`。

2. **遍历字符串**：
- 遍历字符串 `str` 的每个字符 `c`。
- 对于每个字符：
- **检查 @ 符号**：
- 如果遇到 '@'，检查 `prev_char` 是否不为空，如果不为空并且 `prev_char != c`，则 `str` 不是合法的，返回 `False`。
- 否则，将 `prev_char` 更新为当前字符，并清零 `reverse` 标志。

- **处理序列**：
- 如果 `reverse` 为 `True`，说明正在处理序列2（逆序）。如果当前字符 `c` 小于 `prev_char`，说明序列2不是序列1的逆序，返回 `False`。
- 如果 `reverse` 为 `False` 或者 `prev_char == c`，说明进入新的序列或仍在序列1内，将当前字符压入栈 `stack` 并更新 `reverse` 为 `True`。

3. **遍历结束后**：
- 如果栈非空，说明最后一个字符没有对应逆序，返回 `False`。
- 否则，栈只包含了一个字符（因为序列2必然是序列1的逆序），`str` 是合法的，返回 `True`。

def is_valid_string(s):
    stack = []
    prev_char = None
    reverse = False

    for c in s:
        if c == '@':
            if prev_char is not None and prev_char != c:
                return False
            prev_char = None
            reverse = not reverse
        else:
            if reverse:
                if c < prev_char:
                    return False
            else:
                stack.append(c)
                prev_char = c
                reverse = True

    return len(stack) == 0