摘要: 本文介绍处理协议形式描述的方法。以形式语言为基础建立起来的方法,利用了形式语言和自动机之间的关系,允许两个合作者(站、仪器设备、进程等)之间用规定的形式手段对话。本文研究了一种数据链路级协议,即高级数据链路控制规程。提出两个基本模型:一个是描述半双工方式的站点操作,另一个是全双工传输方式,还介绍其它一些改进的模型,它们考虑了超时、无效帧、序列编号和请求重传某序列号帧的影响。应该指出,这些模型还提供了避免死锁现象的方法。描述复杂系统的模型,形式语法比自动机更方便。本方法的优点和局限性同别的作者研究出的方法进行了详细比较。