A METHOD OF CONSTRUCTION AND EXECUTION FOR LABEL TRANSITION SYSTEM

• 一种标记转移系统的构造与执行方法