周生明 汤庸 蒋运承 易忠 王驹 谢正卫 陈燕敏 曹锋 钟祥贵 姚兴华 汤恒琦 蒙春凤

前邻 μALCQO 秩 树自动机 μALCIO UIO序列 分解 诊断矩阵 布尔状态映射矩阵 矩阵模型 等价 弱可逆 弱逆 强连通 模糊识别器 延迟 存贮 有限自动机 循环术语集 带条件的有限状态自动机 拟存贮 完全强化自动机 延迟步数 描述逻辑 混合分级μ-演算 输出权 状态机 不动点构造算子 线性有限自动机 服务组合

广西师范大学计算机科学与信息工程学院 中山大学计算机科学系 广西师范大学数学科学学院 华南师范大学计算机学院 上海交通大学计算机科学与工程系 广西桂林541004中山大学计算机科学系... 广西桂林 广西师范大学数学与计算机科学学院