📄 2.4.3.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.4.2.htm'"></img></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='2.5.htm'"></img></td>
</tr>
</table>
<br><br>

<font class="title2"><b>2.4.3 上下文无关语言和正则语言的区别</b></font>
<table><tr><td>&nbsp&nbsp&nbsp&nbsp</td>
<td class="content">
<p>
<font class="definition2">定义2.7&nbsp</font> 如果一个上下文无关文法G中存在具有下列特征的非终结符A: <br> 
<center> A <img src="IMG/equal.gif"></img> αAβ </center>
&nbsp&nbsp&nbsp&nbsp其中α,β∈{V<sub>T</sub>∪V<sub>N</sub>}<sup>+</sup>,则称A为自嵌套的非终结符号,包含自嵌套非终结符号的文法G称为自嵌套的<b>上下文无关文法</b>。    
</p>
<p>
我们说语言{a<sup>n</sup>b<sup>n</sup>|n>0}是上下文无关语言，原因是找不到一个非自嵌套的上下文无关文法描述它；我们说语言{a<sup>n</sup>b<sup>m</sup>|n>0且m>0}是正则语言,原因是存在一个正规文法描述它。
</p>
<p>
一般来说，在程序语言中，与词法有关的规则属于正规文法；与局部语法有关的规则属于上下文无关文法；而与全局语法和语义有关的部分往往要用上下文有关文法来描述。
</p>
<p>
由于用上下文有关文法描述程序语言不仅相当困难，将使语法定义变得烦杂，难懂，而且一般不能构造有效的分析程序，因此，通常用上下文无关文法描述，而把与上下文有关的限制包含在非形式描述的全局语法与语义中。
</p>
<p>
设计编译程序时，通常把词法分析程序和语法程序分开，因此，要把描述词法的正规文法从描述语法的上下文无关文法中分离出来。设正则文法描述语言单词的结构，像标识符，无符号数等，在分离出正则文法后的上下文无关文法中，这些单词符号是属于终结符号V<sub>T</sub>中的符号。文法(2.1)中的表达式文法，a代表运算对象，标识符或常数，a是终结符号。
</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.4.2.htm'"></img></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='2.5.htm'"></img></td>
</tr>
</table>

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

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