?可执行性
定义 7-1 (可执行性 (Executability))：给定一个过程 α, 一个 TBox Τ，一个初始状态 I 0
转换可执行分析
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。