生成一个可以输入压缩了的上下文无关文法的LR(0)语法分析的代码,用Python实现

时间: 2024-03-17 10:47:14 浏览: 18
以下是一个可以输入压缩了的上下文无关文法的LR(0)语法分析器的Python代码: ```python # LR(0)语法分析器 # 读取输入的文法 def read_grammar(): grammar = {} while True: rule = input().strip().split('->') if rule[0] == '': break grammar[rule[0]] = [] for r in rule[1].split('|'): grammar[rule[0]].append(r.strip().split(' ')) return grammar # 构造LR(0)自动机的状态 def closure(I, grammar): while True: flag = False for item in I: if item[-1] in grammar: for rule in grammar[item[-1]]: new_item = item[:-1] + ['.'] + rule if new_item not in I: I.append(new_item) flag = True if not flag: break return I # 计算LR(0)自动机的状态转移函数 def goto(I, X, grammar): J = [] for item in I: if item[-1] == X and len(item) > 1: J.append(item[:-1] + [X, '.']) return closure(J, grammar) # 构造LR(0)自动机 def build_LR0_automaton(grammar): C = [closure([['.', list(grammar.keys())[0]]], grammar)] L = {} i = 0 while i < len(C): I = C[i] for X in set([item[-1] for item in I if item[-1] in grammar]): J = goto(I, X, grammar) if J != [] and J not in C: C.append(J) if (i, X) not in L: L[(i, X)] = C.index(J) i += 1 return C, L # 构造LR(0)分析表 def build_LR0_table(C, L, grammar): action = {} goto = {} for i in range(len(C)): for item in C[i]: if item[-1] == '.' and len(item) > 1: for a in grammar[item[-2]]: if (i, a) not in action: action[(i, a)] = ('shift', L[(i, a)]) else: print('Error: Shift-Reduce Conflict') elif item[-1] == '.' and len(item) == 1 and item[0] != list(grammar.keys())[0]: for a in grammar.keys(): if (i, a) not in action: action[(i, a)] = ('reduce', item[:-1], grammar[item[:-1]]) else: print('Error: Reduce-Reduce Conflict') for X in grammar: if (i, X) in L: if X not in goto: goto[(i, X)] = L[(i, X)] else: print('Error: Goto-Goto Conflict') return action, goto # LR(0)语法分析器 def LR0_parser(input_str, action, goto): stack = [0] input_str += '$' i = 0 while True: s = stack[-1] a = input_str[i] if (s, a) not in action: print('Error: Invalid Input') return False act = action[(s, a)] if act[0] == 'shift': stack.append(a) stack.append(act[1]) i += 1 elif act[0] == 'reduce': for j in range(2 * len(act[2])): stack.pop() t = stack[-1] stack.append(act[1]) stack.append(goto[(t, act[1])]) elif act[0] == 'accept': print('Accept') return True ``` 使用方法: 1. 首先,调用 `read_grammar()` 函数读取输入的文法,例如: ``` E -> E + T | T T -> T * F | F F -> ( E ) | id ``` 2. 然后,调用 `build_LR0_automaton(grammar)` 函数构造LR(0)自动机,其中 `grammar` 是上一步读取到的文法,例如: ``` C, L = build_LR0_automaton(grammar) ``` 3. 接下来,调用 `build_LR0_table(C, L, grammar)` 函数构造LR(0)分析表,其中 `C` 和 `L` 分别是上一步构造的LR(0)自动机的状态集和状态转移函数,`grammar` 是文法,例如: ``` action, goto = build_LR0_table(C, L, grammar) ``` 4. 最后,调用 `LR0_parser(input_str, action, goto)` 函数进行语法分析,其中 `input_str` 是输入的字符串,例如: ``` LR0_parser('id + id * id', action, goto) ```

相关推荐

最新推荐

recommend-type

Android实现上下文菜单、下拉菜单、选项菜单代码

文档中包括Android实现上下文菜单、下拉菜单、选项菜单代码以及截图,亲测可用!!!
recommend-type

LL(1)语法分析 任意输入一个文法符号串,并判断它是否为文法的一个句子

构造LL(1)语法分析程序,任意输入一个文法符号串,并判断它是否为文法的一个句子。程序要求为该文法构造预测分析表,并按照预测分析算法对输入串进行语法分析,判别程序是否符合已知的语法规则,如果不符合(编译...
recommend-type

6-10.py

6-10
recommend-type

基于机器学习的入侵检测系统+源码+说明.zip

基于机器学习的入侵检测系统+源码+说明.zip
recommend-type

matlab基于潜在低秩表示的红外与可见光图像融合.zip

matlab基于潜在低秩表示的红外与可见光图像融合.zip
recommend-type

zigbee-cluster-library-specification

最新的zigbee-cluster-library-specification说明文档。
recommend-type

管理建模和仿真的文件

管理Boualem Benatallah引用此版本:布阿利姆·贝纳塔拉。管理建模和仿真。约瑟夫-傅立叶大学-格勒诺布尔第一大学,1996年。法语。NNT:电话:00345357HAL ID:电话:00345357https://theses.hal.science/tel-003453572008年12月9日提交HAL是一个多学科的开放存取档案馆,用于存放和传播科学研究论文,无论它们是否被公开。论文可以来自法国或国外的教学和研究机构,也可以来自公共或私人研究中心。L’archive ouverte pluridisciplinaire
recommend-type

实现实时数据湖架构:Kafka与Hive集成

![实现实时数据湖架构:Kafka与Hive集成](https://img-blog.csdnimg.cn/img_convert/10eb2e6972b3b6086286fc64c0b3ee41.jpeg) # 1. 实时数据湖架构概述** 实时数据湖是一种现代数据管理架构,它允许企业以低延迟的方式收集、存储和处理大量数据。与传统数据仓库不同,实时数据湖不依赖于预先定义的模式,而是采用灵活的架构,可以处理各种数据类型和格式。这种架构为企业提供了以下优势: - **实时洞察:**实时数据湖允许企业访问最新的数据,从而做出更明智的决策。 - **数据民主化:**实时数据湖使各种利益相关者都可
recommend-type

2. 通过python绘制y=e-xsin(2πx)图像

可以使用matplotlib库来绘制这个函数的图像。以下是一段示例代码: ```python import numpy as np import matplotlib.pyplot as plt def func(x): return np.exp(-x) * np.sin(2 * np.pi * x) x = np.linspace(0, 5, 500) y = func(x) plt.plot(x, y) plt.xlabel('x') plt.ylabel('y') plt.title('y = e^{-x} sin(2πx)') plt.show() ``` 运行这段
recommend-type

JSBSim Reference Manual

JSBSim参考手册,其中包含JSBSim简介,JSBSim配置文件xml的编写语法,编程手册以及一些应用实例等。其中有部分内容还没有写完,估计有生之年很难看到完整版了,但是内容还是很有参考价值的。