构造可以识别这些终结符的词法分析器

为了构造可以识别这些终结符的词法分析器，需要遵循以下步骤：

1. 定义终结符：根据给出的终结符列表，定义每个终结符的正则表达式或DFA（确定性有限状态自动机）。

2. 定义词法规则：将终结符的正则表达式或DFA与相应的词法规则相关联，以便将输入文本分解为词法单元。

3. 实现词法分析器：根据定义的词法规则，实现词法分析器，即将输入文本转换为词法单元序列的程序。

下面是一个示例词法分析器的实现，用于识别加减乘除运算符、数字和括号：

import re

# 定义终结符的正则表达式
OPERATOR_REGEX = r'[+\-*/]'
NUMBER_REGEX = r'\d+'
LEFT_PAREN_REGEX = r'\('
RIGHT_PAREN_REGEX = r'\)'

# 定义词法规则
LEX_RULES = [
    (OPERATOR_REGEX, 'OPERATOR'),
    (NUMBER_REGEX, 'NUMBER'),
    (LEFT_PAREN_REGEX, 'LEFT_PAREN'),
    (RIGHT_PAREN_REGEX, 'RIGHT_PAREN'),
]

# 实现词法分析器
def lex(input_str):
    tokens = []
    pos = 0
    while pos < len(input_str):
        match = None
        for pattern, tag in LEX_RULES:
            regex = re.compile(pattern)
            match = regex.match(input_str, pos)
            if match:
                tokens.append((match.group(), tag))
                pos = match.end()
                break
        if not match:
            raise Exception('Invalid token at position %d' % pos)
    return tokens

在这个示例中，我们使用了Python标准库中的re模块来实现正则表达式匹配。词法规则以元组的形式定义，其中第一个元素是终结符的正则表达式，第二个元素是相应的标签。词法分析器的输出是一个元组列表，其中每个元组包含词法单元的值和标签。

使用示例：

input_str = '3 + 4 * (2 - 1) / 5'
tokens = lex(input_str)
print(tokens)

输出结果：

[('3', 'NUMBER'), ('+', 'OPERATOR'), ('4', 'NUMBER'), ('*', 'OPERATOR'), ('(', 'LEFT_PAREN'), ('2', 'NUMBER'), ('-', 'OPERATOR'), ('1', 'NUMBER'), (')', 'RIGHT_PAREN'), ('/', 'OPERATOR'), ('5', 'NUMBER')]