用python写一个可以自动实现文法最左推导的程序

以下是一个可以自动实现文法最左推导的Python程序：

# 定义文法
grammar = {
    'S': ['aSb', ''],
}

# 最左推导函数
def leftmost_derivation(grammar, string):
    # 初始化推导过程和当前符号
    derivation = ['S']
    current_symbol = derivation[-1]
    # 开始推导
    while len(string) > 0 and current_symbol in grammar:
        # 获取当前符号对应的产生式
        production = grammar[current_symbol][0]
        # 将推导过程中的当前符号替换为对应的产生式
        derivation = derivation[:-1] + list(production)
        # 更新当前符号
        current_symbol = derivation[-1]
        # 如果当前符号是终结符，则匹配输入串中的字符
        if current_symbol.islower():
            if string[0] == current_symbol:
                string = string[1:]
                # 如果输入串匹配成功，输出当前推导过程
                print(''.join(derivation))
            else:
                break
    # 如果输入串已经匹配完毕，但是推导过程还没有结束，则继续推导
    while current_symbol in grammar and grammar[current_symbol][0] == '':
        derivation = derivation[:-1]
        current_symbol = derivation[-1]
        print(''.join(derivation))
    # 如果输入串已经匹配完毕，并且推导过程也结束，则输出最终的推导过程
    if len(string) == 0 and current_symbol == '':
        print(''.join(derivation))

# 测试最左推导函数
leftmost_derivation(grammar, 'aaabbb')

这个程序定义了一个简单的文法 S → aSb | ε，并且实现了最左推导的功能。输入的字符串为 'aaabbb'，程序会自动根据文法进行最左推导，并输出推导过程。