| 词条 | 文法 |
| 释义 | 文法 拼音： 解释：1.法制;法规。 2.文章的作法。 3.语法。语言的结构方式。包括词的构成和变化�o词组和句子的组织。 § 文法分类 形式语言：用文法和自动机所描述的没有语义的语言。 语言定义： L（G[Z]）={x| Z x , x∈VT*} 文法定义：乔姆斯基将所有文法都定义为一个四元组： G=（VN，VT，P，Z） VN：非终结符号集 VT：终结符号集 P：产生式或规则的集合 Z：开始符号（识别符号）， Z∈VN 文法和语言分类：0型、1型、2型、3型 这几类文法的差别在于对产生式施加不同的限制。 § 定义 0型文法： P： u::＝v，其中u∈V＋，v∈V* 0型文法称为短语结构文法。 产生式的左部和右部都可以是符号串，一个短语可以产生另一个短语。 0型语言：L0 。这种语言可以用图灵机(Turing)接受。 1型文法： P： xUy::= xuy，其中 U∈VN， x、y、u∈V* 1型文法也称为上下文敏感或上下文有关。 也即只有在x、y这样的上下文中才能把U改写为u。 1型语言：L1。 这种语言可以由一种线性界限自动机接受。 2型文法： P： U::= u，其中 U∈VN， u∈V* 2型文法也称为上下文无关文法。 也即把U改写为u时，不必考虑上下文。 注意：2型文法与BNF表示相等价。 2型语言：L2 。这种语言可以由下推自动机接受。 3型文法： （左线性） P： U::=T 或 U::=ωT，其中 U、T∈VN，ω∈VT ,,， （右线性） P： U::=T 或 U::=Tω，其中 U、T∈VN, ω∈VT 3型文法也称为正则文法。它是对2型文法进行进一步限制。 3型语言：L3。 又称正则语言、正则集合。这种语言可以由有穷自动机接受。 根据上述讨论，L0Ì L1Ì L2Ì L3。 0型文法可以产生L0、L1、L2、L3，但2型文法只能产生L2，不能产生L1。 |
| 随便看 |
百科全书收录594082条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。