📄 2.5.2.htm
字号:
<html>
<head>
<title>2.2的解答</title>
</head>
<body background="../images/background.gif">
<center><font class="title2"><b>练习2.2</b></font></center><br>
解答：<br>
(a) 句子abab有如下两个不同的最左推导：<br>
    S <img src="IMG/equal.gif"></img> aSbS <img src="IMG/equal.gif"></img> abS <img src="IMG/equal.gif"></img> abaSbS <img src="IMG/equal.gif"></img> ababS <img src="IMG/equal.gif"></img> abab<br>
    S <img src="IMG/equal.gif"></img> aSbS <img src="IMG/equal.gif"></img> abSaSbS <img src="IMG/equal.gif"></img> abaSbS <img src="IMG/equal.gif"></img> ababS <img src="IMG/equal.gif"></img> abab<br>
    所以此文法是二义性的。<br>
(b) 句子abab的两个相应的最右推导：<br>
    S <img src="IMG/equal.gif"></img> aSbS <img src="IMG/equal.gif"></img> aSbaSbS <img src="IMG/equal.gif"></img> aSbaSb <img src="IMG/equal.gif"></img> aSbab <img src="IMG/equal.gif"></img> abab<br>
    S <img src="IMG/equal.gif"></img> aSbS <img src="IMG/equal.gif"></img> aSb <img src="IMG/equal.gif"></img> abSaSb <img src="IMG/equal.gif"></img> abSab <img src="IMG/equal.gif"></img> abab<br>
(c> 句子abab的两棵分析树：
<table border=0>
<tr>
<td> (一)</td>
<td>   (二)</td>
</tr>
<tr>
<td> <img src="IMG/2.5.2-2.gif"></td>
<td>   <img src="IMG/2.5.2-1.gif"></td>
</tr>
</table>
(d) 此文法产生的语言是：所有a的个数与b的个数相等的由a和b组成<br>
    的字符串。
</body>
<html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -