上下文有关语法(context-sensitive grammar),文学-语言文字-计算语言学及语料库语言学-计算语言学,重写规则形式是的形式语法。在重写规则中,和都是符号串,中含有非终极符号,并且要求,即要求的长度不小于的长度。语言,它是由个,个和个相毗连而形成的符号串()。现提出这样的语法来生成它:: (1) (2) (3) (4) (5) (6) (7)从开始,用规则(1)次,得到:然后用规则(2)一次,得到:规则(3)可把变换为。例如,如果,有:,这样,如果用规则(3)次,可得:接着,用规则(4)一次,得到:然后,用规则(5)次,得到:最后,用规则(6)一次及规则(7)次,得到:在这个语法中,它的7个重写规则的右边的符号数大于或等于左边的符号数,满足条件,而且,左边的符号串中包含非终极符号,因此,这个语法是上下文有关语法。这个上下文有关语法生成的符号串的结构表示如下:aaabbbccc的图示可以看出,这个图示不是树形图。