【计】 simple mixed strategy precedence grammar
briefness
【计】 mixed strategy precedence grammar; mixed strategy procedence grammar