输入若干字符串，判断它们是否满足“PAT 判题系统”的合法构成规则。字符串仅包含PAT三种字母；满足结构：形如xPATx，其中x可以是空或只包含若干个A；若aPbTc合法，则aPbATca也合法，其中abc均为空或由A构成。模型抽象 + 字符处理 + 数学约束验证结构识别能力：字符串模式的拆分与定位；数学模型归纳：抽象为乘法关系；字符串遍历与索引处理的细致性检验。

状态转移模型的入门题。掌握最基础的“当前状态 → 下一个状态”模型；理解循环控制结构与终止判断；学会使用变量精简和运算优化技巧（如直接合并/2。