定义:
一个通信有限状态自动机由一组有限状态自动机的集合M和一组通道C组成。约定：网络N=(M,C)；|M|=r
且N满足：
l M={m1,m2,……mr}是一个有r个有限状态机的有限集合；
l C={Cij：i,j≤r而且i≠j}是一个通道的有限集合；
l 对M中的每个自动机mi，是确定有限状态机，其描述与FSM定义相同；
l C中的每个通道Cij表示mi到mj的通信通道。它是一个先进先出的队列，mj从队列的头读出数据作为输入，mi把要向mj输出数据送到队列的尾部。
CFSM是描述互相通信的多台网络设备工作情况的常用方法。