摘要
本文提出了一种基于动态树的标记转移系统的构造与执行方法,其具有以下几个显著特点:一是树形结构可以层次清楚地表示标记转移系统并可方便地利用树的遍历算法执行系统;二是通过树的动态生成解决了进程代数的状态递归和回溯的问题;三是标记转移系统的执行只和当前的动态树相关,降低了执行的复杂度。
Based on dynamic tree,this paper proposes a novel method of construction and execution for label transition system, which has some salient features. First,tree can describes label transition system with clear hierarchy and executing system is convenient using traversal algorithm of tree. Secondly, state recursion and retrospect of process algebra can be solved by dynamic construction of tree. At last,execution of label transition system only depends on current dynamic tree so that complexity of execution is reduced.
出处
《计算机应用与软件》
CSCD
北大核心
2006年第5期84-85,95,共3页
Computer Applications and Software
关键词
进程代数
标记转移系统
动态树
Process algebra Label transition system Dynamic tree