📄 2.5.1.htm
字号:
<html>
<head>
<title>2.1的解答</title>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
</head>
<body background="../images/background.gif">
<center><font class="title2"><b>练习2.1</b></font></center><br>
解答:<br>
(a) 终结符号为:{(,),a,<sup>,</sup>,}<br>
    非终结符号为:{S,L}<br>
    开始符号为:S<br>
(b)
<table border=0>
<tr>
<td>    ① (a,a)</td>
<td>    ②(a,(a,a))</td>
<td>      ③ (a,((a,a),(a,a)))</td>
</tr>
<tr>
<td valign=top>    <img src="IMG/2.5.1-1.gif"></td>
<td valign=top>    <img src="IMG/2.5.1-2.gif"></td>
<td valign=top>      <img src="IMG/2.5.1-3.gif"></td>
</tr>
</table>
(c) ① (a,a)<br>
    S <img src="IMG/equal.gif"></img> (L) <img src="IMG/equal.gif"></img> (L,S) <img src="IMG/equal.gif"></img> (S,S) <img src="IMG/equal.gif"></img> (a,S) <img src="IMG/equal.gif"></img> (a,a)<br>
    ② (a,(a,a))<br>
    S <img src="IMG/equal.gif"></img> (L) <img src="IMG/equal.gif"></img> (L,S) <img src="IMG/equal.gif"></img> (S,S) <img src="IMG/equal.gif"></img> (a,S) <img src="IMG/equal.gif"></img> (a,(L) <img src="IMG/equal.gif"></img> (a,(L,S))<br>
      <img src="IMG/equal.gif"></img> (a,(S,S)) <img src="IMG/equal.gif"></img> (a,(a,S)) <img src="IMG/equal.gif"></img> (a,(a,a))<br>
    ③ (a,((a,a),(a,a)))<br>
    S <img src="IMG/equal.gif"></img> (L) <img src="IMG/equal.gif"></img> (L,S) <img src="IMG/equal.gif"></img> (S,S) <img src="IMG/equal.gif"></img> (a,S) <img src="IMG/equal.gif"></img> (a,(L)) <img src="IMG/equal.gif"></img> (a,(L,S))<br>
      <img src="IMG/equal.gif"></img> (a,(S,S)) <img src="IMG/equal.gif"></img> (a,((L),S)) <img src="IMG/equal.gif"></img> (a,((L,S),S)) <img src="IMG/equal.gif"></img> (a,((S,S),S))<br>
      <img src="IMG/equal.gif"></img> (a,((a,S),S)) <img src="IMG/equal.gif"></img> (a,((a,a),S)) <img src="IMG/equal.gif"></img> (a,((a,a),(L)))<br>
      <img src="IMG/equal.gif"></img> (a,((a,a),(L,S))) <img src="IMG/equal.gif"></img> (a,((a,a),(S,S))) <img src="IMG/equal.gif"></img> (a,((a,a),(a,S)))<br>
      <img src="IMG/equal.gif"></img> (a,((a,a),(a,a)))<br>
(d) ① (a,a)<br>
    S <img src="IMG/equal.gif"></img> (L) <img src="IMG/equal.gif"></img> (L,S) <img src="IMG/equal.gif"></img> (L,a) <img src="IMG/equal.gif"></img> (S,a) <img src="IMG/equal.gif"></img> (a,a)<br>
    ②(a,(a,a))<br>
    S <img src="IMG/equal.gif"></img> (L) <img src="IMG/equal.gif"></img> (L,S) <img src="IMG/equal.gif"></img> (L,(L)) <img src="IMG/equal.gif"></img> (L,(L,S)) <img src="IMG/equal.gif"></img> (L,(L,a))<br>
      <img src="IMG/equal.gif"></img> (L,(S,a)) <img src="IMG/equal.gif"></img> (L,(a,a)) <img src="IMG/equal.gif"></img> (S,(a,a)) <img src="IMG/equal.gif"></img> (a,(a,a))<br>
    ③(a,((a,a),(a,a)))<br>
    S <img src="IMG/equal.gif"></img> (L) <img src="IMG/equal.gif"></img> (L,S) <img src="IMG/equal.gif"></img> (L,(L)) <img src="IMG/equal.gif"></img> (L,(L,S)) <img src="IMG/equal.gif"></img> (L,(L,(L)))<br>
      <img src="IMG/equal.gif"></img> (L,(L,(L,S))) <img src="IMG/equal.gif"></img> (L,(L,(L,a))) <img src="IMG/equal.gif"></img> (L,(L,(S,a)))<br>
      <img src="IMG/equal.gif"></img> (L,(L,(a,a))) <img src="IMG/equal.gif"></img> (L,(S,(a,a))) <img src="IMG/equal.gif"></img> (L,((L),(a,a)))<br>
      <img src="IMG/equal.gif"></img> (L,((L,S),(a,a))) <img src="IMG/equal.gif"></img> (L,((L,a),(a,a))) <img src="IMG/equal.gif"></img> (L,((S,a),(a,a)))<br>
      <img src="IMG/equal.gif"></img> (L,((a,a),(a,a))) <img src="IMG/equal.gif"></img> (S,((a,a),(a,a))) <img src="IMG/equal.gif"></img> (a,((a,a),(a,a)))<br>
(e) L(G[S]) = (α<sub>1</sub>,α<sub>2</sub>,<sup>...</sup>,α<sub>n</sub>)或a<br>
    其中α<sub>i</sub>(1≤i≤n)是L(G[S])。即L(G[S])产生一个以a为原子的纯表,但不包括空表。
</body>
<html>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -