📄 2.1.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>
<table align=right width=300>
<tr>
<td><img src="../images/previous.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='2.1.2.htm'"></img></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='2.1.3.htm'"></img></td>
</tr>
</table>
<br><br>
<table><tr><td>    </td>
<td class="content">
<p>
下面介绍符号串之间的运算。</p>
<p>
符号串α,β的连接αβ是把符号串β写在符号串α之后得到的符号串。例如,若α=ab,β=bc,则有,αβ=abbc,βα=bcab。按此约定,因ε是不包含任何符号的符号串,所以,对于任意符号串α而言,可以得到<br>
<center>εα=αε=α</center>
我们还可以定义符号串的方幂。假设α是符号串,α<sup>n</sup>定义为:
<table align=center>
<tr><td align=center>αα…αα</td></tr>
<tr><td align=center><sup>n个α</sup></td></tr></table>
当n=0时,α<sup>0</sup>是空符号串ε。例如,若α=a,则有
<table align=center width=120pt>
<tr><td>α<sup>0</sup> = ε</td></tr>
<tr><td>α<sup>1</sup> = a</td></tr>
<tr><td>α<sup>2</sup> = aa</td></tr>
<tr><td>  ……</td></tr>
<tr><td>α<sup>n</sup> = aa…aa<br>        n个a</td></tr></table>
又如,若α=ab,则有
<table align=center width=400pt>
<tr><td>α<sup>0</sup> = ε</td></tr>
<tr><td>α<sup>1</sup> = ab</td></tr>
<tr><td>α<sup>2</sup> = abab</td></tr>
<tr><td>  ……</td></tr>
<tr><td>α<sup>n</sup> = abab…abab<br>          n个ab</td></tr></table>
</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='2.1.2.htm'"></img></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='2.1.3.htm'"></img></td>
</tr>
</table>
</body>
</html>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -