标签：
电话号码=[校内电话号码|校外电话号码]
校内电话号码=非零数字+ 3 位数字 //后面继续定义
校外电话号码=[本市号码|外地号码]
本市号码=数字零+8位数字
外地号码=数字零+3位数字+8位数字
非零数字=[1|2|3|4|5|6|7|8|9]
数字零＝0
3位数字＝3{数字}3 //3至3个数字
8位数字=非零数字+7位数字
7位数字=7{数字}7
数字＝[0|1|2|3|4|5|6|7|8|9]
标签：
原文地址：http://www.cnblogs.com/jiaji315688/p/5034308.html
