D0L是一个有限集合 是字母顺序的符号,一个有限集合P和一个字符串w。P集合是x——>u的映射,x属于,。 是所有非空的字符串的集合,对于 中的任意一个符号,P中包含x
——>u的映射,从u1到u2的推导包含替换 中的每个符号通过

未完待续