📄 3.4.2b.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.2a.htm'" src="../images/previous.gif"></IMG></td>
<td><IMG onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='3.4.2c.htm'" src="../images/next.gif"></IMG></td>
</tr>
</table>
<br><br>
<table border=0>
<tr>
<td width=10></td>
<td>
<p><b>情况2</b> r=r<sub>1</sub>r<sub>2</sub>。 r<sub>1</sub>和r<sub>2</sub>的运算个数少于i,对应于r<sub>1</sub>及r<sub>2</sub>的有限自动机M<sub>1</sub>及M<sub>2</sub>。所设同情况1。令 <br>
<center>M=(Σ<sub>1</sub>∪Σ<sub>2</sub>,q<sub>1</sub>∪q<sub>2</sub>,q<sub>1</sub>,{f<sub>2</sub>},δ)</center><br>
其中转移函数δ定义如下: <br>
<table>
<tr>
<td width=70> </td>
<td>
(a)δ(q,a)=δ<sub>1</sub>(q,a), 当q∈q<sub>1</sub>-{f<sub>1</sub>},a∈Σ<sub>1</sub>∪{ε}
<br>
(b)δ(q,a)=δ<sub>2</sub>(q,a), 当q∈q<sub>2</sub>,a∈Σ<sub>2</sub>∪{ε}
<br>
(c)δ(f<sub>1</sub>,ε)={q<sub>2</sub>} <br>
</td>
</tr>
</table>
则M的状态转换如图3.11(b)所示。显然M中每条从q<sub>1</sub>到f<sub>2</sub>的道路都是这样的,先是一条从q<sub>1</sub>到f<sub>1</sub>的标记符号连接为某个符号串x的道路,接着是一条从f<sub>2</sub>到q<sub>2</sub>的ε-道路,最后是一条从q<sub>2</sub>到f<sub>2</sub>的标记符号连接为y的道路,于是 <br>
<center>L(M)=L(M<sub>1</sub>)L(M<sub>2</sub>)=L(r<sub>1</sub>)L(r<sub>2</sub>)=L(r)</center></p>
<p align="center"><img src="IMG/3.11.gif" width="358" height="469"></p>
</td>
</table>
<table align=right width=300>
<tr>
<td><IMG onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='3.4.2a.htm'" src="../images/previous.gif"></IMG></td>
<td><IMG onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='3.4.2c.htm'" src="../images/next.gif"></IMG></td>
</tr>
</table>
</BODY>
</html>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -