Pluto的博客

前言 上下文无关文法中一个符号无用有两个原因，其一是无法从开始符号到达它，其二是无法从其推导出一个终结字符串。本文重点介绍一种用来消除第一种无用符号的简便方法——依赖图。 正文 在介绍消除方法之前，先介绍一下依赖图的概念。 依赖图 对于上下文无关文法中的依赖图，其中的顶点表示符号，而从顶点 CCC 到 DDD 之间存在边当且仅当存在如下形式的生成式C→xDyC\rightarrow xDy...

问题描述 根据正则式(a+b)∗aa(a+b)∗bb(a+b)∗+(a+b)∗bb(a+b)∗aa(a+b)∗(a+b)^*aa(a+b)^*bb(a+b)^*+(a+b)^*bb(a+b)^*aa(a+b)^*(a+b)∗aa(a+b)∗bb(a+b)∗+(a+b)∗bb(a+b)∗aa(a+b)∗写出对应的右线性文法。 预备知识 根据正则式推导右线性文法，需要从左侧开始分解，规则为 对于...