就8877线路检测中心每个自动机而言

当前位置:887700葡京线路检测 > 8877线路检测中心 > 就8877线路检测中心每个自动机而言
作者: 887700葡京线路检测|来源: http://www.hq8833.com|栏目:8877线路检测中心

文章关键词:887700葡京线路检测,自动机

  这是一个自动机系统: (随手画的,可能有点粗糙,8877线路检测中心见谅!) A、B、C都是自动机,小写字母是自动机之间的通讯。!表示发出,?表示接收。(b c d是内部通讯对不同的内部节点选择不同的出或入,如对A而言b!,8877线路检测中心对B而言b?)。 这是自动机用来表示通讯过程的例子,自动机的应用很广。 一个自动机系统通过计算可以等价为一个单个的自动机。 就每个自动机而言,由于接收和发出的动作(trace),自身的状态(state)会发生改变。 以A为例:每个自动机有一个初始状态:p0 接收a之后变为:p1 先发出b之后变为:p2,再发出c后变为:p3 先发出c之后变为:p4,再发出b后变为:p3

下一篇:没有了

网友评论

我的2016年度评论盘点
还没有评论,快来抢沙发吧!