Chomsky 定义的四种形式语言文法中，1 型文法又称为()文法。A. 短语文法B. 上下文无关文法C. 上下文有关文法D. 正规文法

Chomsky文法分类是形式语言理论中的核心概念，主要考查对四种文法类型特点的理解。

• 1型文法的核心特征是产生式规则中的上下文依赖性，即非终结符的替换必须依赖于特定的上下文环境。
• 关键区分点：
  • 0型文法（无限制）对应图灵机；
  • 1型文法（上下文有关）对应线性有界自动机，生成的句子长度有限；
  • 2型文法（上下文无关）对应下推自动机；
  • 3型文法（正规文法）对应有限自动机。
    破题关键在于明确1型文法的定义与名称对应关系，排除易混淆选项（如上下文无关文法为2型）。

选项分析：

1. A. 短语文法：错误。短语文法并非标准术语，且1型文法生成的句子长度有限是结果，而非文法本身的名称。
2. B. 上下文无关文法：错误。上下文无关文法是2型文法的别称，其产生式规则不依赖上下文。
3. C. 上下文有关文法：正确。1型文法的产生式规则严格依赖上下文环境，例如：$A \to aBb$ 中，非终结符$B$的出现必须依赖于左侧的$a$和右侧的$b$。
4. D. 正规文法：错误。正规文法是3型文法的别称，仅能生成正则语言。