电话号码= [校内电话号码|校外电话号码]
校内电话号码= 非零数字+ 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]
其中,[ ]意思是或,从校内电话号码或校外电话号码中选择一个;{ }表示重复,两边的数字表示重复次数的下限和上限;=意思是定义为;+意思是和,连接两个分量。
时间: 2024-10-11 00:28:12