Text this: 采用形式语言及自动机技术描述ISDN用户/网络信令