📄 3.4.1b.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 bgColor=Lavender>

<table align=right width=300>
	<tr>
		<td><IMG onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='3.4.1a.htm'" src="../images/previous.gif"></IMG></td>
		<td><IMG onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='3.4.1c.htm'" src="../images/next.gif"></IMG></td>
	</tr>
</table>
<br><br>
<table border=0>
	<tr>
		<td width=10></td>
		<td>
			<p>在上述正规表达式的递归定义中，规则1和2构成了定义的基础，规则3提供了归纳的步骤。 <br> 
			  &nbsp;&nbsp;&nbsp;&nbsp;如果我们采用如下的约定，则可把正规表达式中的不必要的括号省略：<br>
			<table>
				<tr>
					<td width=70></td>
					<td>
						<b>1．</b>正规表达式的三个运算符中，一目运算符“*”具有最高的优先级，并且是左结合的。 <br> 
						<b>2．</b>连接运算具有次优先级，是左结合的。 <br> 
						<b>3．</b>运算符“|”具有最低的优先级，是左结合的。
					</td>
				</tr>
			</table>
			<p>在这些约定下，正规表达式(a)|((b)<sup>*</sup>(c))等价于a|b<sup>*</sup>c。此正规表达式所表示的集合中的符号串或者是由单个ａ组成，或者是由零个或多于零个的b后随以一个c所组成。</p> 
			若letter是字母表｛Ａ，Ｂ，．．．，Ｚ，ａ，．．．，ｚ｝中的任何一个元素，根据定义，letter是正规表达式，应表示作：<br>
			<center><font color=blue>Ａ|Ｂ|．．．|Ｚ|ａ|．．．|ｚ</font></center></p> 
			letter所表示的语言应为： <br> 
			  <center><font color=blue>L(Ａ)∪L(Ｂ)∪．．．∪L(Ｚ)∪L(ａ)∪．．．∪L(ｚ)＝｛A，B，···，Z，a，d···，z｝</font> </center><br> 
			  若digit是字母表｛0，1，2，…，9｝中的任何一个元素，根据定义，digit是正规表达式，应表示作： <br>
			  <center><font color=blue>0|1|2|…|9 </font></center><br>
			  digit所表示的语言应为： <br>
			  <center><font color=blue>L(0)∪L(1)∪．．．∪L(9)＝｛0，1，2，…，9｝</font></center> <br>
			  因此，前面所讨论的 letter(letter |digit )<sup>*</sup> 是正规表达式，它所表示的语言应为：  		  <br> 
			  <center><font color=blue>L(letter) ( L(letter)∪L(digit))<sup>*</sup> ＝｛Ａ，Ｂ，．．．，Ｚ，ａ，．．．，ｚ｝
			  
			(｛Ａ，Ｂ，．．．，Ｚ，ａ，．．．，ｚ，0，．．．，9｝)<sup>*</sup></font></center> <br> 
			  即字母表｛Ａ，Ｂ，…，Ｚ，ａ，ｂ，…，ｚ，0，1，…，9｝上的标识符全体。</p>
		</td>
	<tr>
</table>
<table align=right width=300>
	<tr>
		<td><IMG onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='3.4.1a.htm'" src="../images/previous.gif"></IMG></td>
		<td><IMG onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='3.4.1c.htm'" src="../images/next.gif"></IMG></td>
	</tr>
</table>
</BODY>
</html>
<html><script language="JavaScript">
⌨️ 快捷键说明

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