北京某高校可用的*有以下几类：校内*由4位数字组成，第一位数字不是0；校外*又分为本市电话和外地电话两类，拨校外电话需先拨0，若是本市电话则再接着拨8位数字（第一位不是0），若是外地电话则拨3位区码再拨8位*（第一位不是0）。用2.5.2小节讲述的定义数据的方法，定义上述的*。

可用电话=[校内电话|校外电话] 

校内电话=非0数字+3{数字}3

校外电话=0+[本市电话|外地电话]

本市电话=非0数字+7{数字}7

外地电话=区码+非0数字+7{数字}7