一种描述访问计算机网络节点的形式语言

摘要

采用一种形式语言方法，即随机线性文法及其产生式来描述计算机网络的拓朴结构，并设计三个基元状态文法，通过对状态的分析及各种状态的规律来描述计算机网络的每个结点间通信及共享存储器的状态。证明了此方法在某种条件下可在初始结点和终了结点间建立一条唯一的访问途径，并可避免冲突。为计算机网络结点间访问／冲突避免的研究提供了参考。