### Python 验证中序表达式的合法性 为了验证中序表达式的合法性，在Python中有多种方法可以实现这一目标。一种常见的方式是通过正则表达式来初步筛选字符串，确保其仅包含合法字符；另一种更为严谨的方法则是构建解析器，利用栈结构处理括号匹配以及操作符优先级等问题。 #### 使用正则表达式进行初步过滤 对于简单的场景，可以通过`re`模块中的正则表达式来进行基本的语法检查： ```python import re def basic_infix_validation(expression): pattern = r'^[\d\+\-\*\/\(\)\.\s]*$' match_result = bool(re.match(pattern, expression)) if not match_result: return False # 进一步复杂逻辑判断... return True ``` 此段代码定义了一个名为`basic_infix_validation()` 的函数[^1]，它接受一个表示算术表达式的字符串作为参数，并返回布尔值指示该表达式是否符合预期格式。这里使用的正则表达式允许数字、加减乘除运算符、圆括号、小数点及空白字符的存在。 然而，这种方法只能做最基本的验证工作，无法深入到语义层面去检测诸如未闭合的括号或非法的操作序列等情况。 #### 构建更严格的解析器 针对更加严格的要求，则需设计专门的数据结构与算法来完成这项任务。下面给出了一种基于栈的思想实现较为完整的中序表达式合法性检验方案： ```python class InfixValidator: def __init__(self): self.stack = [] def _is_operator(self, char): operators = {'+', '-', '*', '/'} return char in operators def _precedence(self, op): precedence_map = { '+': 1, '-': 1, '*': 2, '/': 2 } return precedence_map.get(op, 0) def check_expression(self, expr): balance_counter = 0 for i, ch in enumerate(expr.strip()): if ch == '(': balance_counter += 1 elif ch == ')': if balance_counter <= 0 or (i > 0 and self._is_operator(expr[i-1])): return False balance_counter -= 1 elif self._is_operator(ch): if i == 0 or self._is_operator(expr[i-1]) or expr[i-1].isspace(): continue while self.stack and \ isinstance(self.stack[-1], str) and \ self._precedence(self.stack[-1]) >= self._precedence(ch): prev_op = self.stack.pop() if i < len(expr)-1 and expr[i+1].isdigit() and \ ((prev_op == '+' or prev_op == '-') and ch != '*' and ch != '/') : break self.stack.append(ch) return balance_counter == 0 and all(not self._is_operator(x) for x in self.stack[:len(self.stack)//2]) ``` 上述类实现了对给定中序表达式的全面分析过程。具体来说，`check_expression()` 方法遍历整个输入串并执行如下动作： - 记录左右括号的数量差异； - 判断当前字符是否属于二元运算符集合； - 维护一个用于存储待处理运算符及其相对位置关系的辅助列表——即所谓的“栈”。 最终依据这些信息得出结论：当且仅当所有成对标记均配对成功且不存在连续出现两个相同级别以上的运算符实例时才认为表达式有效。