5.北京某高校可用的电话号码有以下几类:校内电话号码由4位数字组成,第1位数字不是零;校外电话又分为本市电话和外地电话两类,拨校外电话需先拨0,若是本地电话再接着拨8位数字(第一位不是0),若是外地电话则拨3位区码再拨8位电话号码(第一位不是0)。
用2.5.2小节讲诉的数据定义的方法,定义上述电话号码。
答:电话号码=[校内电话号码|校外电话号码]
校内电话号码=非0数字+3{数字}3
非0数字= [1|2|3|4|5|6|7|8|9]
校外电话号码= 0+[本地电话号码|外地电话号码]
本地电话号码= 非0数字+7{数字}7
外地电话号码= 3{数字}3+非0数字+7{数字}7