以完全相同的方式重写字符串；唯一的区别在于我们区分了特定的非终结符号，这些符号必须在重写规则中重写，并且只对从指定的开始符号 formula_23 到没有非终结符号的字符串的重写感兴趣。
例子."在这些例子中，形式语言使用集合建构式符号描述。"考虑文法 formula_27，其中 formula_35，formula_36，formula_23 是开始符号，formula_38 由以下产生式规则组成：这个文法定义了语言 formula_43，这里 formula_44 表示