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