Python实现LR分析

算法：LR分析
输入：输入序列w和文法G的LR分析表action和goto
输出：若w属于L(G),得到w的规范规约，否则指出一个错误
方法：初始格局为(#0, w#, 驱动器的第一个动作)，其中0是初始状态。令ip指向w#中的第一个终结符，top指向栈顶初始状态

import copy

#输入输入序列w 和预测分析表M ,非终结符的集合N ，开始进行预测分析
def LR_analyze(w, LR ,P):
    mat = "步骤{:<15}\t栈内容 {:<20}\t当前输入 {:<25}\t动作{:<30}"
    print(mat.format(" "," "," "," ",))
    Stack = list()  # 创建符号栈
    Stack.append('#')#压入结束表示符#
    Stack.append('0')#压入状态0
    top = len(Stack)-1 #top用于记录栈顶的下标，即最后一个元素下标
    ip = 0#用于记录输入序列w中的终结符的下标，从首部开始
    step = 1 #记录步骤
    # 当栈非空
    while Stack:
        content = ''.join(Stack)#将栈内容转为字符串
        inputchar = ''.join(w[ip:])
        action = ""
        accept = False #表示是否成功返回
        a = w[ip] #a用于获取到当前输入符号
        s = Stack[top]  #s用于获取栈顶的元素
        act = copy.deepcopy(LR[int(s)][a]) #得到action表中对应动作

        if 's' in act: # 如果是s开头代表移进动作，将a与状态都压入栈中
            Stack.append(a)
            Stack.append(act[1]) #act[1]就是状态序号
            ip +=1 # 指向w的下一个字符
            top+=2 #改变栈顶的下标
            action = "移进:" + ''.join(act)
        elif 'r' in act :# 如果是r开头代表归约动作
            #判断产生式右侧符号的个数
            # P[act[1]-1]得到字典  key为 产生式左侧的非终结符 ，value为右侧
            A = N[(int(act[1])-1)//2] #非终结符
            right = list(P[int(act[1])-1].values())[0] #right为右侧文法符号的列表
            action = "归约:" + ''.join(act)  + "(" + A+"->"+''.join(right)+ ")"
            #弹出2倍 len(right)的值
            i = 0
            while i < len(right)*2 :
                Stack.pop()
                top-=1
                i+=1

            #将左侧的非终结符和下一状态压栈
            nState = int(Stack[top])
            Stack.append(A)
            Stack.append(LR[nState][A])
            top+=2

        elif   act == 'acc':  # 如果是acc直接成功返回
            action = "接收:accept"
            accept = True

        else: #其它情况 报错
            return  False


        #输出本次执行情况
        mat = "{:<20}\t {:<30}\t {:<30}\t {:<30}"
        print(mat.format (step, content, inputchar, action))
        if accept:  # 如果是acc直接成功返回
            return True

        step+=1 #步骤数加1 继续循环



if __name__ == '__main__':
    print("---------即将开始收集数据，请按提示操作---------' ")
    print("请输入文法G的非终结符的集合N , 输入格式为List , 如['E' , 'T' ,'F'] ")
    N = eval(input(":"))
    print("请输入文法G的产生式的集合P , 输入格式 如{'E': ['E', '-' , 'T']} ")
    P = eval(input(":"))
    # #LR表：[{'id' : ['s' , '4'] ,     '-' :  ['s' , '5'],       'E' :  '1',      'T' :  '2',     'F' :  '3'} ,{'-': ['s' , '6'],    '#': 'acc'  },{ '-': ['r' , '2'],  '*' : ['s' , '7'] , '#': ['r' , '2']  },{ '-': ['r' , '4'],  '*' : ['r' , '4'] , '#': ['r' , '4'] ,  },{ '-': ['r' , '6'],  '*' : ['r' , '6'] , '#': ['r' , '6'] ,  },  {'id' : ['s' , '4'] ,  '-': ['s' , '5'],    'F': '8', },            {'id' : ['s' , '4'] ,  '-': ['s' , '5'],    'T': '9',    'F': '3', },       {'id' : ['s' , '4'] ,  '-': ['s' , '5'],     'F': '10'}, {'-': ['r' , '5'],  '*' : ['r' , '5'] , '#': ['r' ,'5']  }, { '-': ['r' , '1'],  '*' : ['s' , '7'] , '#': ['r' , '1']  }, { '-': ['r' , '3'],  '*' : ['r' , '3'] , '#': ['r' , '3'] }, ]
    print( "请输入文法G的LR表 , 输入格式如{'id' : ['s' , '4'] ,     '-' :  ['s' , '5'],       'E' :  '1',      'T' :  '2',     'F' :  '3'} ")
    LR = eval(input(":"))

    #print("---------收集数据完成，请按提示操作---------' ")
    # P = [{'E': ['E', '-' , 'T']},   {'E': ['T']},   {'T': ['T', '*' , 'F']},    {'T': ['F']},   {'F': [ '-' , 'F']},    {'F': ['id']},]
    # LR =  [{'id' : ['s' , '4'] ,     '-' :  ['s' , '5'],       'E' :  '1',      'T' :  '2',     'F' :  '3'} ,
    #              {'-': ['s' , '6'],    '#': 'acc'  },
    #              { '-': ['r' , '2'],  '*' : ['s' , '7'] , '#': ['r' , '2']  },
    #              { '-': ['r' , '4'],  '*' : ['r' , '4'] , '#': ['r' , '4'] ,  },
    #              { '-': ['r' , '6'],  '*' : ['r' , '6'] , '#': ['r' , '6'] ,  },
    #              {'id' : ['s' , '4'] ,  '-': ['s' , '5'],    'F': '8', },
    #              {'id' : ['s' , '4'] ,  '-': ['s' , '5'],    'T': '9',    'F': '3', },
    #              {'id' : ['s' , '4'] ,  '-': ['s' , '5'],     'F': '10'},
    #              {'-': ['r' , '5'],  '*' : ['r' , '5'] , '#': ['r' ,'5']  },
    #              { '-': ['r' , '1'],  '*' : ['s' , '7'] , '#': ['r' , '1']  },
    #              { '-': ['r' , '3'],  '*' : ['r' , '3'] , '#': ['r' , '3'] }, ]
    while True:
        w = eval(input('请输入要分析的序列w（以#号结束）：'))
        #w = ['id' , '-' ,  '-' ,'id' , '*' , 'id' ,  '#']
        print("----------------------------------------------------分析过程----------------------------------------------------")
        LR_analyze(w, LR ,P)#开始进行LR分析
        print("----------------------------------------------------分析结束----------------------------------------------------")
        break