chomsky一二三型文法 上世纪50年代,美国语言学家诺姆·乔姆斯基(Noam Chomsky)提出了一套分类文法的方法,即乔姆斯基文法,分为三种类型,分别被称为一型、二型和三型。 一型文法又称为上下文有关文法。它的特点是产生式规则的左侧可包含一个或多个非终结符号,右侧则是非终结符号和终结符号的组合,且右侧的产生式...
- **3型文法(正规文法)**:分为左线性或右线性,产生式形式为A → aB 或 A → a(A、B为非终结符,a为终结符),对应选项D(正规文法)。 题目明确问3型文法对应的语法分析使用的文法,因此正确答案为**D**。其他选项中: - A(短语文法)并非Chomsky分类中的术语,可能为干扰项。
选项分析:- **A. 短语文法**:对应0型文法,排除。- **B. 正规文法**:即3型文法,正确。- **C. 上下文有关文法**:对应1型文法,排除。- **D. 上下文无关文法**:对应2型文法,排除。综上,3型文法为**正规文法**,选项B正确。反馈 收藏
线性文法是一种上下文无关文法(2型文法)的子类,其核心特征是所有产生式规则的右侧最多包含一个非终结符,且该非终结符只能出现在符号序列的最左端或最右端。根据非终结符的位置,线性文法进一步分为两类: 左线性文法:产生式形式为 (A \rightarrow Bx) 或 (A \rightarrow x...
1型文法也叫上下文有关文法,此文法对应于线性有界自动机。它是在0型文法的基础上每一个α→β,都有|β|>=|α|。这里的|β|表示的是β的长度。 注意:虽然要求|β|>=|α|,但有一特例:α→ε也满足1型文法。 如有A->Ba则|β|=2,|α|=1符合1型文法要求。反之,如aA->a,则不符合1型文法。
1型文法对形式语言的表达能力非常强大,可以描述大部分自然语言和许多程序设计语言中的句子结构。 2. 产生式的一般形式 产生式是一种形式语言的基本元素,用于描述语言中符号之间的转换关系。在1型文法中,产生式的一般形式可以表示为: A -> γ 其中,A 是非终结符号,表示可以被替换的符号;γ 是由终结符号和非...
0型文法也称短语文法。一个非常重要得理论结果就是,0型文法得能力相当 于图灵(Tunring)机。或者说,任何0型语言都就是递归可枚举得;反之,递归可枚 举集必定就是一个0型语言。 如果把0型文法分别加上以下得第i条限制,则我们就得i型文法为: 1.G得任何产生式a -> B均满足| a |<=| B I;仅仅S-> £...
我们称这样的文法为q型文法。为什么引入q型文法,因为前面的 FOLLOW集 概念的引入,解决产生式 \varepsilon 的问题,而这一点可以很好的地对照在q型文法的第一条定义。尽管它对于S型文法限制有了略微的放宽,支持了的 \varepsilon 产生式,可是还是有一定的限制:q_文法不含右部以非终结符打头的产生式。
B 0型文法(无限制文法)对应“短语文法”,其产生式无任何限制;1型文法(上下文有关文法)要求产生式左边符号的上下文相关;2型文法(上下文无关文法)仅依赖单个非终结符;3型文法(正则文法)限制产生式为线性的形式。选项B明确对应0型,其他选项对应关系依次为A→3型,C→1型,D→2型,因此B正确。反馈...