11 2023 档案

摘要：语义动是一个C语句的序列 $$ 表是和相应产生式头的非终结符号关联的属性值 $i 表示和相应产生式体中第 i 个文法符号(终结符或非终结符号)关联的属性值 按照产生式规约时会执行关联的语义动作 对于体中只包含一个文法符号的产生式，默认语义动作就是拷贝属性值 阅读全文

摘要：LALR语法分析表 1.LALR（向前看-LR）技术 2.在实践中常用，分析表比规范LR分析表小 LALR(1)项集族的内核的高效计算方法 1.构造G的LR(0)项集族的内核 2.确定自发生的符号 3.不断扫描所有项集的内核项，添加传播的符号 向前看符号的类型 public static class 阅读全文

摘要：前面已经实现了SLR语法分析表，但是可能会出现即使语法不是二义性文法，也存在移入/规约冲突 状态 i 包含项[A ->α ]，当状态 i 出现在栈顶时，栈中的可行前缀时βα且在任何最后句型中a都不可能跟在βA之后， 那么当输入a时不应该A->α进行规约 为了解决这个问题， 引入更强大的构造语法分析表 阅读全文

摘要：构造SLR语法分析表 方法： 1）构造G‘的规范LR(0)项集族 2）根据规则生成动作 3）生成转换 4）设置报错 /** * P157 规范LR(0)项集族 * @param grammar */ public List<SetOfItems> items(Grammar grammar) { i 阅读全文