Left recursion is used so that the rule can be reduced after each message.

• 为了归约每个消息之后的规则,使用的是向左递归。