📄 3.4.1c.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.1b.htm'" src="../images/previous.gif"></IMG></td>
		<td><IMG onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='3.4.1d.htm'" src="../images/next.gif"></IMG></td>
	</tr>
</table>
<br><br>
<table border=0>
	<tr>
		<td width=10></td>
		<td>
			  <p><IMG src="IMG\liti.gif">
				 <b>例3.4</b> 令Σ＝{a，b}则有 <br> 
				 <table>
					<tr>
						<td width=100></td>
						<td>
							(a)正规表达式a|b表示集合{a，b}。 <br> 
							(b)正规表达式(a|b)(a|b)表示集合{aa，ab，ba，bb}，即长度为2的含a和b的符号串的集合。 <br> 
							(c)正规表达式a<sup>*</sup>表示集合{ε，a，aa，aaa，…}。 <br> 
							(d)正规表达式(a|b)<sup>*</sup>表示集合{ε，a，b，aa，ab，ba，bb，…}，即所有含a和b的符号串的集合。表示这一集合的另一个正规表达式是(a<sup>*</sup>b<sup>*</sup>)<sup>*</sup>。  
							<br> 
							(e)正规表达式a|a<sup>*</sup>b表示的集合含有符号串a和包括零个或多于零个的a后跟随一个b的所有符号串。</p> 
						</td>
					</tr>
				</table>
			<p> 如果正规表达式r和s表示同样的语言，则我们称r和s等价，并且写作r＝s。例如：(a|b)＝(b|a)。下表中是正规表达式所服从的<font class="definition3">一组代数定律</font>，利用这些定律可以将正规表达式化为它的等价形式。  
			  <br> 
			</p> 
			<table width="75%" border="1" align="center" cellspacing="0" cellpadding="5"> 
			  <tr>  
			    <td width="50%">  
			      <div align="center">恒等式</div> 
			    </td> 
			    <td width="50%">  
			      <div align="center">说明</div> 
			    </td> 
			  </tr> 
			  <tr>  
			    <td width="50%">  
			      <div align="center">r|s = s|r</div> 
			    </td> 
			    <td width="50%">  
			      <div align="center">交换律</div> 
			    </td> 
			  </tr> 
			  <tr>  
			    <td width="50%">  
			      <div align="center">r|(s|t) = (r|s)|t</div> 
			    </td> 
			    <td width="50%">  
			      <div align="center">结合律</div> 
			    </td> 
			  </tr> 
			  <tr>  
			    <td width="50%">  
			      <div align="center">(rs)t = r(st)</div> 
			    </td> 
			    <td width="50%">  
			      <div align="center">结合律</div> 
			    </td> 
			  </tr> 
			  <tr>  
			    <td width="50%">  
			      <div align="center"> 
			        <p>r(s|t) = rs | rt</p> 
			        <p>(s|t)r = sr | tr</p> 
			      </div> 
			    </td> 
			    <td width="50%">  
			      <div align="center">分配律</div> 
			    </td> 
			  </tr> 
			  <tr>  
			    <td width="50%">  
			      <div align="center"> 
			        <p>εr = r</p> 
			        <p>rε = r</p> 
			      </div> 
			    </td> 
			    <td width="50%">  
			      <div align="center">ε对连接是单位元素</div> 
			    </td> 
			  </tr> 
			  <tr>  
			    <td height="15" width="50%">  
			      <div align="center">  
			        <p>r<sup>*</sup> = (r|ε)<sup>*</sup></p> 
			      </div> 
			    </td> 
			    <td height="15" width="50%">  
			      <div align="center">* 和 ε的关系 </div> 
			    </td> 
			  </tr> 
			  <tr>  
			    <td width="50%">  
			      <div align="center">r<sup>**</sup> = r<sup>*</sup></div> 
			    </td> 
			    <td width="50%">  
			      <div align="center">*是幂等的</div> 
			    </td> 
			  </tr> 
			</table> 
			<p align="center"> 
			  表 3.4&nbsp;&nbsp;&nbsp;&nbsp;正规表达式的代数性质</p> 
		</td>
	<tr></tr>
</table>
<table align=right width=300>
	<tr>
		<td><IMG onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='3.4.1b.htm'" src="../images/previous.gif"></IMG></td>
		<td><IMG onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='3.4.1d.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 + -