[Document] 补全缺少文档

[Willam2004]

如题，现在文档缺少一些语言规则的表达，需要进行补全处理。