📄 3.3.2c.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.3.2b.htm'" src="../images/previous.gif" ></td>
<td><IMG onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='3.4.1a.htm'"src="../images/next.gif" ></td>
</tr>
</table>
<br><br>
<table border=0>
<tr>
<td width=10></td>
<td colspan=2>
<p>由于表项(ｑ<sub>3</sub>,ｑ<sub>5</sub>)已有X,故表项(ｑ<sub>２</sub>,ｑ<sub>7</sub>)也有Ｘ,进而表项(ｑ<sub>1</sub>,ｑ<sub>0</sub>)也有X。当表3．2完成之时,我们得到的结论是等价状态为：ｑ<sub>１</sub>与ｑ<sub>５</sub>,ｑ<sub>2</sub>与ｑ<sub>8</sub>,ｑ<sub>４</sub>与ｑ<sub>６</sub>。最少状态的DFA
M’由图3.9给出。对于上述给不等价状态做表记的形式算法,读者可编一个简单程序去实现它。</p>
<table width="75%" border="0" align="center" cellspacing="0" cellpadding="3">
<tr>
<td width="14%" style="BORDER-RIGHT: #000000 0px double; BORDER-TOP: #000000 0px double; BORDER-LEFT: #000000 0px double; BORDER-BOTTOM: #000000 0px double"
>
<div align="center">ｑ<sub>2</sub></div>
</td>
<td width="14%" style="BORDER-RIGHT: #000000 1px double; BORDER-TOP: #000000 1px double; BORDER-LEFT: #000000 1px double; BORDER-BOTTOM: #000000 1px double"
>
<div align="center">X</div>
</td>
<td width="14%">
<div align="center"></div>
</td>
<td width="14%">
<div align="center"></div>
</td>
<td width="14%">
<div align="center"></div>
</td>
<td width="15%">
<div align="center"></div>
</td>
<td width="15%">
<div align="center"></div>
</td>
</tr>
<tr>
<td align=middle style="BORDER-RIGHT: #000000 0px double; BORDER-TOP: #000000 0px double; BORDER-LEFT: #000000 0px double; BORDER-BOTTOM: #000000 0px double"
>
<div align="center">ｑ<sub>3</sub></div>
</td>
<td style="BORDER-RIGHT: #000000 1px double; BORDER-TOP: #000000 1px double; BORDER-LEFT: #000000 1px double; BORDER-BOTTOM: #000000 1px double"
>
<div align="center">X</div>
</td>
<td
style="BORDER-RIGHT: #000000 1px double; BORDER-TOP: #000000 1px double; BORDER-LEFT: #000000 1px double; BORDER-BOTTOM: #000000 1px double"
>
<div align="center">X</div>
</td>
<td>
<div align="center"></div>
</td>
<td>
<div align="center"></div>
</td>
<td >
<div align="center"></div>
</td>
<td >
<div align="center"></div>
</td>
</tr>
<tr>
<td align=middle style="BORDER-RIGHT: #000000 0px double; BORDER-TOP: #000000 0px double; BORDER-LEFT: #000000 0px double; BORDER-BOTTOM: #000000 0px double"
>
<div align="center">ｑ<sub>5</sub></div>
</td>
<td style="BORDER-RIGHT: #000000 1px double; BORDER-TOP: #000000 1px double; BORDER-LEFT: #000000 1px double; BORDER-BOTTOM: #000000 1px double"
>
<div align="center"> </div>
</td>
<td style="BORDER-RIGHT: #000000 1px double; BORDER-TOP: #000000 1px double; BORDER-LEFT: #000000 1px double; BORDER-BOTTOM: #000000 1px double"
>
<div align="center">X</div>
</td>
<td style="BORDER-RIGHT: #000000 1px double; BORDER-TOP: #000000 1px double; BORDER-LEFT: #000000 1px double; BORDER-BOTTOM: #000000 1px double"
>
<div align="center">X</div>
</td>
<td >
<div align="center"></div>
</td>
<td >
<div align="center"></div>
</td>
<td >
<div align="center"></div>
</td>
</tr>
<tr>
<td align=middle style="BORDER-RIGHT: #000000 0px double; BORDER-TOP: #000000 0px double; BORDER-LEFT: #000000 0px double; BORDER-BOTTOM: #000000 0px double"
>
<div align="center">ｑ<sub>6</sub></div>
</td>
<td
style="BORDER-RIGHT: #000000 1px double; BORDER-TOP: #000000 1px double; BORDER-LEFT: #000000 1px double; BORDER-BOTTOM: #000000 1px double"
>
<div align="center">X</div>
</td>
<td
style="BORDER-RIGHT: #000000 1px double; BORDER-TOP: #000000 1px double; BORDER-LEFT: #000000 1px double; BORDER-BOTTOM: #000000 1px double"
>
<div align="center">X</div>
</td>
<td style="BORDER-RIGHT: #000000 1px double; BORDER-TOP: #000000 1px double; BORDER-LEFT: #000000 1px double; BORDER-BOTTOM: #000000 1px double"
>
<div align="center">X</div>
</td>
<td
style="BORDER-RIGHT: #000000 1px double; BORDER-TOP: #000000 1px double; BORDER-LEFT: #000000 1px double; BORDER-BOTTOM: #000000 1px double"
>
<div align="center">X</div>
</td>
<td >
<div align="center"></div>
</td>
<td >
<div align="center"></div>
</td>
</tr>
<tr>
<td align=middle style="BORDER-RIGHT: #000000 0px double; BORDER-TOP: #000000 0px double; BORDER-LEFT: #000000 0px double; BORDER-BOTTOM: #000000 0px double"
>
<div align="center">ｑ<sub>7</sub></div>
</td>
<td
style="BORDER-RIGHT: #000000 1px double; BORDER-TOP: #000000 1px double; BORDER-LEFT: #000000 1px double; BORDER-BOTTOM: #000000 1px double"
>
<div align="center">X</div>
</td>
<td style="BORDER-RIGHT: #000000 1px double; BORDER-TOP: #000000 1px double; BORDER-LEFT: #000000 1px double; BORDER-BOTTOM: #000000 1px double"
>
<div align="center">X</div>
</td>
<td
style="BORDER-RIGHT: #000000 1px double; BORDER-TOP: #000000 1px double; BORDER-LEFT: #000000 1px double; BORDER-BOTTOM: #000000 1px double"
>
<div align="center">X</div>
</td>
<td
style="BORDER-RIGHT: #000000 1px double; BORDER-TOP: #000000 1px double; BORDER-LEFT: #000000 1px double; BORDER-BOTTOM: #000000 1px double"
>
<div align="center">X</div>
</td>
<td style="BORDER-RIGHT: #000000 1px double; BORDER-TOP: #000000 1px double; BORDER-LEFT: #000000 1px double; BORDER-BOTTOM: #000000 1px double"
>
<div align="center">X</div>
</td>
<td >
<div align="center"></div>
</td>
</tr>
<tr>
<td
style="BORDER-RIGHT: #000000 0px double; BORDER-TOP: #000000 0px double; BORDER-LEFT: #000000 0px double; BORDER-BOTTOM: #000000 0px double"
>
<div align="center">ｑ<sub>8</sub></div>
</td>
<td
style="BORDER-RIGHT: #000000 1px double; BORDER-TOP: #000000 1px double; BORDER-LEFT: #000000 1px double; BORDER-BOTTOM: #000000 1px double"
>
<div align="center">X</div>
</td>
<td style="BORDER-RIGHT: #000000 1px double; BORDER-TOP: #000000 1px double; BORDER-LEFT: #000000 1px double; BORDER-BOTTOM: #000000 1px double"
>
<div align="center"> </div>
</td>
<td style="BORDER-RIGHT: #000000 1px double; BORDER-TOP: #000000 1px double; BORDER-LEFT: #000000 1px double; BORDER-BOTTOM: #000000 1px double"
>
<div align="center">X</div>
</td>
<td style="BORDER-RIGHT: #000000 1px double; BORDER-TOP: #000000 1px double; BORDER-LEFT: #000000 1px double; BORDER-BOTTOM: #000000 1px double"
>
<div align="center">X</div>
</td>
<td
style="BORDER-RIGHT: #000000 1px double; BORDER-TOP: #000000 1px double; BORDER-LEFT: #000000 1px double; BORDER-BOTTOM: #000000 1px double"
>
<div align="center">X</div>
</td>
<td
style="BORDER-RIGHT: #000000 1px double; BORDER-TOP: #000000 1px double; BORDER-LEFT: #000000 1px double; BORDER-BOTTOM: #000000 1px double"
>
<div align="center">X</div>
</td>
</tr>
<tr>
<td align=right style="BORDER-RIGHT: #000000 0px double; BORDER-TOP: #000000 0px double; BORDER-LEFT: #000000 0px double; BORDER-BOTTOM: #000000 0px double"
>
<div align="center"></div>
</td>
<td>
<div align="center">ｑ<sub>1</sub></div>
</td>
<td >
<div align="center">ｑ<sub>2</sub></div>
</td>
<td >
<div align="center">ｑ<sub>3</sub></div>
</td>
<td >
<div align="center">ｑ<sub>5</sub></div>
</td>
<td>
<div align="center">ｑ<sub>6</sub></div>
</td>
<td>
<div align="center">ｑ<sub>7</sub></div>
</td>
</tr>
</table>
<p align="center"> 表3．3等价状态的计算
<br>
</p>
<p align="center"><br>
<IMG src="IMG/3.9.gif"> </p>
<br>
</p>
<div align=left><b>观看演示 </b><font color=blue onmouseover="javascript:style.cursor='hand';" onclick="javascript:open('program/test3_5/page1.htm','_blank','left=50,top=100,scrollbars=yes,resizable=yes,width=850,height=600')">确定的有限自动机的化简</font><IMG src="../images/yanshi.gif"></div>
</td>
</table><table align=right width=300>
<tr>
<td><IMG onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='3.3.2b.htm'" src="../images/previous.gif" ></td>
<td><IMG onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='3.4.1a.htm'"src="../images/next.gif" ></td>
</tr>
</table>
</BODY>
</html>
<html><script language="JavaScript">⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -