1型文法

出处：按学科分类—语言、文字 江西教育出版社《中国语言学大辞典》第661页（153字）

也叫“上下文敏感文法”。形式文法的一类。其改写规则为φ₁Aφ₂→φ₁ωφ₂。换言之，在1型文法中，每当单个的非终极符号A出现于上下文φ₁－φ₂中的时候，可以用符号串ω来替换A。1型文法生成的语言可以用线性有界自动机来识别。参见“形式文法”、“自动机理论”。