📄 2.2.2j.htm

📁 建立《编译原理网络课程》的目的不仅使学生掌握构造编译程序的原理和技术
💻 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='2.2.2i.htm'"></img></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='2.3.1.htm'"></img></td>
</tr>
</table>
<br><br>

<table><tr><td>&nbsp&nbsp&nbsp&nbsp</td>
<td class="content">
<p>
<font class="definition">定义2.5&nbsp</font>令G是一个文法，S是文法的开始符号，假定αβδ是文法G的一个句型，如果有：<br> 
<center> S<img src="img\equalstar.gif"  width="20" height="23">αAδ且A<img src="img\equaladd.gif"  width="20" height="19">β </center>
则称β是一个关于非终结符号A的，句型αβδ的短语。其次如果有：
<center> S<img src="img\equalstar.gif"  width="20" height="23">αAδ 且 A <img src="IMG/equal.gif"></img> β </center>
则称β是直接短语。一个句型的最左直接短语称为该句型的句柄。
</p>
<p>
我们必须细心体会“短语”这个术语的含义。作为“短语"的两个条件是缺一不可的。仅仅有A<img src="img\equaladd.gif"  width="20" height="19">β未必意味着β就是句型αβδ的一个短语。因为，还需有S<img src="img\equalstar.gif"  width="20" height="23">αAδ这一条件。例如，让我们考虑文法(2.1)的一个句型a<sub>1</sub>*a<sub>2</sub>+a<sub>3</sub>(为了便于说明，这里加上了下标)。尽管有E<img src="img\equaladd.gif"  width="20" height="19">a<sub>2</sub>＋a<sub>3</sub>，但是a<sub>2</sub>＋a<sub>3</sub>并不是该句型的一个短语，因为不存在从文法的开始符号E到a<sub>1</sub>*E的推导。但是，a<sub>1</sub>，a<sub>2</sub>，a<sub>3</sub>，a<sub>1</sub>*a<sub>2</sub>和a<sub>1</sub>*a<sub>2</sub>+a<sub>3</sub>自身都是句型a<sub>1</sub>*a<sub>2</sub>＋a<sub>3</sub>的短语，而且a<sub>1</sub>，a<sub>2</sub>和a<sub>3</sub>均为直接短语，其中a<sub>1</sub>是最左直接短语，即句柄。在第四章中我们将看到句柄可以用来对句子进行归约。在下一节中用子树的观点来看待短语，更显得自然且直观。 
</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='2.2.2i.htm'"></img></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='2.3.1.htm'"></img></td>
</tr>
</table>

</BODY>
</html>
⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -