📄 4.10.18.htm
字号:
<html>
<head>
<title>4.18的解答</title>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
<link type="text/css" rel="stylesheet" href="../css/specification.css">
</head>
<body background="../images/background2.gif">
<center>
<center><font class="title2"><b>练习4.18</b></font></center><br>
</center>
<table><tr><td> </td>
<td class="content">
解：<br>
假设有一个SLR(1)文法G不是LR(1)文法，那么在G的LR(1)项目集规范族中，或有下面的(i)，或有下面的(ii)，或两种情形都有<br>
<center><img src="images/ex4.181.gif" width="554" height="143"></center><br>
与之对应，G的LR(0)项目集规范族或有下面的(i)，或有下面的(ii)，或两者皆有：<br>
<center><img src="images/ex4.182.gif" width="554" height="143"></center><br>
因为G是SLR(1)文法，因此有：<br>
a不属于FOLLOW(A)， FOLLOW(A)∩FOLLOW(B)＝Φ<br>
根据G的LR(1)项目集，有<br>
a∈FOLLOW(A)， FOLLOW(A)∩FOLLOW(B)≠Φ<br>
这和假设矛盾。因此，任何SLR(1)文法都是LR(1)文法。<br>
</td></tr></table>
</body>
</html>
<html><script language="JavaScript">⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -