This paper also proposed a descriptive language of formal rules based on BNF and production rule,formalized the processing rules for consecutive verb and implemented the rules by computer program.

• 同时,还提出了一种基于BNF范式和产生式规则的形式化规则描述语言,完成了对规则的形式化描述和软件实现。