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

A Formal Language for Describing Computer Network

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

Being different from the general method,a formal language and grammar,stochastic linear grammar and its representation,are used to describe the topology logic of the computer network,by analysing the grammar of three elemental statuses,it can be seen that combining them may describe statuses of each node in communication and share memory of the computer network In the paper it is proved that the grammar can establish only one route between startnode and terminal node in some conditions and it may avoid collision The use and limit of the grammar are presented at the end of the paper