📄 4.7.3.1.htm
字号:
<html>
<head>
<title>编译原理</title>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
<link type="text/css" rel="stylesheet" href="../css/specification.css">
</head>
<BODY>
<table align=right width=300>
<tr>
<td><img src="../images/previous.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='4.7.3.0b.htm'"></img></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='4.7.3.1b.htm'"></img></td>
</tr>
</table>
<br><br>
<table><tr><td>    </td>
<td class="content">
<p>
<img class="dingyi" src="../images/dingyi.gif">
<font class="definition2">定义4.12 </font>文法G的某个活前缀γ的所有的LR(1)有效项目组成的集合称为γ的LR(1)有效项目集。所有LR(1)有效项目集组成的集合，称为G的LR(l)项目集规范族。</p>
<p>构造有效的LR(1)项目集族的办法，本质上和构造有效的LR(0)项目集族(即项目集规范族)的办法是一样的。类似的也需要二个函数：closure和go。</p>
<p>
<img class="dingyi" src="../images/dingyi.gif">
<font class="definition2">定义4.13 </font>设I是文法G的一个LR(1)项目集，closure(I)是从I出发用下面三个规则构造的项目集: <br>
1．每一个I中的项目都属于closure(I)。 <br>
2．若项目[A→α·Bβ，a] 属于closure(I)且B→η是一个产生式,则对任何b∈FIRST(βa)，若项目[B→·η,b］不属于closure(I)，则把它加进去。 <br>
    3．重复执行规则(2)直到closure(I)不再增大为止。</p>
<p>显然对任何有效项目集I,都有I= closure(I)。 </p>
<p>
<img class="dingyi" src="../images/dingyi.gif">
<font class="definition2">定义4.14 </font>设I是文法G的一个LR(1)项目集，X是一个文法符号，定义 <br> go(I，X) ＝closure(J)<br>
其中<br>
J={[A→αX·β,a] |当[A→α·Xβ,a]属于I时}
</p>
<p>一个LR(1)项目集是一个LR(1)状态，对于LR(1)来说，计算closure(I)和Go(I，x)要考虑向前看符号，由算法4.10给出。</p>
</td></tr></table>
<Br>
<table align=right width=300>
<tr>
<td><img src="../images/previous.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='4.7.3.0b.htm'"></img></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='4.7.3.1b.htm'"></img></td>
</tr>
</table>
</BODY>
</html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -