📄 5.4.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='5.4.0.htm'"></img></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='5.4.2.htm'"></img></td>
</tr>
</table>
<br><br>
<font class="title2"><b>5.4.1 L-属性定义</b></font>
<table>
<tr>
<td>    </td>
<td class="content">
<p>
一个语法制导定义是L-属性定义,如果对于每一个产生式A→X<span class="down"><sub>1</sub></span>X<span class="down"><sub>2</sub></span>…X<span class="down"><sub>n</sub></span>,其每一个语义规则中的每一个属性都是一个综合属性,或是X<span class="down"><sub>j</sub></span>(1<=j<=n)的一个继承属性,这个继承属性仅依赖于
</p>
</td>
</tr>
</table>
<table><tr><td>    </td>
<td class="content">
<p>
1.产生式中X<span class="down"><sub>j</sub></span>的左边符号X<span class="down"><sub>1</sub></span>,X<span class="down"><sub>2</sub></span>,…,X<span class="down"><sub>j-1</sub></span>的属性;
</p>
</td></tr></table>
<table><tr><td>    </td>
<td class="content">
<p>
2.A的继承属性。
</p>
</td>
</tr>
</table>
<table><tr><td>    </td>
<td class="content">
<p>
注意,每一个S-属性定义都是L-属性定义,因为限制1和2仅对继承属性使用。
</p>
</td>
</tr>
</table>
<p align=center><img src="b56.gif" ><br></p>
<table><tr><td>    </td>
<td class="content">
<p>
<b>例5.11</b> 表5.6的语法制导定义不是L-属性定义,因为文法符号Q的继承属性依赖于它右边文法符号R的属性。
</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='5.4.0.htm'"></img></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='5.4.2.htm'"></img></td>
</tr>
</table>
</BODY>
<html><script language="JavaScript">
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -