校订数字字符串文法