📄 2.1.2.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>

<table align=right width=300>
<tr>
<td><img src="../images/previous.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='2.1.1.htm'"></img></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='2.1.2b.htm'"></img></td>
</tr>
</table>
<br><br>

<font class="title2"><b>2.1.2 符号串</b></font>
<table><tr><td>&nbsp&nbsp&nbsp&nbsp</td>
<td class="content">
<p>
由字母表中的符号所组成的任何有穷序列被称之为该字母表上的符号串。也称作"字"。例如，设有字母表Σ={a，b，c}，那么，序列ab是Σ上的一个符号串；同样序列ba，序列abc，序列bcca等都是Σ上的符号串。在语言的理论中，术语“句子”和“字”常常用作术语“符号串”的同义语。一个经常出现的符号串是"空符号串",用特别记号ε表示.空符号串是没有符号的符号串.符号串的正式定义如下:
</p>
<p>
<img class="dingyi" src="../images/dingyi.gif"></img>
<font class="definition2">定义2.1</font><br>
&nbsp&nbsp&nbsp&nbsp(1)ε是∑上的一个符号串。<br>
&nbsp&nbsp&nbsp&nbsp(2)若x是∑上的符号串而a是∑的元素,则xa是∑上的符号串。<br>
&nbsp&nbsp&nbsp&nbsp(3)y是∑上的符号串,当且仅当由(1)和(2)导出。</p>    
<p>
本书中常用的与符号串有关的几个术语定义如下：</p>
<p>
1.<font class="definition3">符号串s的前缀</font>: 移走符号串s的尾部的零个或多于零个符号所得到的一个符号串。例如ban是符号串banana的一个前缀。</p>
<p>
2.<font class="definition3">符号串s的后缀</font>：删去符号串s的头部的零个或多于零个符号所得到的一个符号串。例如nana是符号串banana的一个后缀。</p>
<p>
3.<font class="definition3">符号串s的子串</font>: 从s中删去一个前缀和一个后缀而得到的符号串。例如nan是banana的一个子串。s的每一个前缀和每一个后缀是s的一个子串，但是s的每一个子串不一定是s的前缀或后缀。对于每一个符号串s ，s和ε两者都是s的前缀、后缀和子串。</p>
<p>
4.<font class="definition3">符号串s的真前缀,真后缀,真子串</font>: 任何非空符号串x,相应地,是s的前缀,后缀或子串,并且s≠x。</p>
<p>
5.<font class="definition3">符号串s的子序列</font>: 从符号串s中删去零个或多于零个符号(这些符号不要求是连续的)而得到的符号串。例如baaa是banana的一个子序列。</p>
<p>
6.<font class="definition3">一个符号串S的逆转</font>用SR表示，它是将S中的符号按相反次序写出而得到的符号串。例如，如果S=a<sub>1</sub>a<sub>2</sub>...a<sub>n</sub>,那么,SR=a<sub>n</sub>a<sub>n-1</sub>...a<sub>1</sub>。</p>
<p>
7.<font class="definition3">一个符号串的长度</font>是该符号串中的符号的数目。例如,|aab|=3,<br>
&nbsp&nbsp&nbsp&nbsp|ε|=0。</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.1.htm'"></img></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='2.1.2b.htm'"></img></td>
</tr>
</table>

</body>
</html>
<html><script language="JavaScript">
⌨️ 快捷键说明

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