##### 上下文相关语法 - 上下文相关语法 - **上下文相关语法**是[[上下文相关语言]]的[[形式语法]] $G = (V, \Sigma, P, S)$, 规则集 $P$ 中每条产生规则是上下文敏感的, 并且替换后的字符串长度不短于替换前 - $\alpha A \beta \to \alpha \gamma \beta$ - $A \in V$ 是单个非终结符 - $\alpha, \beta, \gamma \in (V \cup \Sigma)^*$ $\gamma \neq \varepsilon$ 是由终结符和非终结符组成的字符串