10.3969/j.issn.1000-386X.2006.05.034
一种标记转移系统的构造与执行方法
本文提出了一种基于动态树的标记转移系统的构造与执行方法,其具有以下几个显著特点:一是树形结构可以层次清楚地表示标记转移系统并可方便地利用树的遍历算法执行系统;二是通过树的动态生成解决了进程代数的状态递归和回溯的问题;三是标记转移系统的执行只和当前的动态树相关,降低了执行的复杂度.
进程代数、标记转移系统、动态树
23
TP3(计算技术、计算机技术)
2006-06-08(万方平台首次上网日期,不代表论文的发表时间)
共3页
84-85,95