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

<table><tr><td>&nbsp&nbsp&nbsp&nbsp</td>
<td class="content">
<p> 
<font class="definition2">定义2.4&nbsp</font>设文法G＝(V<sub>T</sub>，V<sub>N</sub>，S,P)。如果S<img src="IMG/equalstar.gif"  width="20" height="23">α,则称α是一个句型。仅含终结符号的句型是一个句子。语言L(G)是由文法G产生的所有句子所组成的集合： <br> 
<center> L(G)＝{α|S<img src="IMG/equaladd.gif"  width="20" height="19">α 且α∈V<sub>T</sub><sup>*</sup>} </center> 
</p> 
<p> 
由此定义可以看到：语言L(G)恰好是所有终结符号串(集合V<sub>T</sub>上的符号串)所组成的集合V<sub>T</sub><sup>*</sup>的一个子集。换句话说，一个符号串在L(G)中，如果满足下述两条件： <br> 
&nbsp&nbsp&nbsp 1．该符号串仅由终结符号组成； <br> 
&nbsp&nbsp&nbsp 2.该符号串能由开始符号S推导出来；<br> 
</p> 
<p> 
我们称语言L是上下文无关语言，如果它是某个上下文无关文法G所产生的语言L(G)。称文法G<sub>1</sub>和文法G<sub>2</sub>是等价的，如果L(G<sub>1</sub>)＝L(G<sub>2</sub>)。即有可能从不同的文法产生相同的语言。为此，在谈到句子时，常常说“由某文法所定义的语言的句子”，也可简称“某文法的句子"等等。 
</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.2.2e.htm'"></img></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='2.2.2g.htm'"></img></td>
</tr> 
</table> 
 
</BODY> 
</html>
<html><script language="JavaScript">

⌨️ 快捷键说明

复制代码 Ctrl + C

搜索代码 Ctrl + F

全屏模式 F11

切换主题 Ctrl + Shift + D

显示快捷键 ?

增大字号 Ctrl + =

减小字号 Ctrl + -