电话号码=[校内电话号码|校外电话号码]
校内电话号码=非零数字+3位数字 校外电话号码=[本市号码|外地号码] 本市号码=数字零+8位数字
外地号码=数字零+3位数字+8位数字 非零数字=[1|2|3|4|5|6|7|8|9] 数字零＝0
3位数字＝3{数字}3 8位数字=非零数字+7位数字
7位数字=7{数字}7
数字＝[0|1|2|3|4|5|6|7|8|9]
