郝克刚 李新 雷丽晖 张海宾 门鹏

下推自动机 分层结构 混合系统 时空复杂度 Web服务 可达集 语义匹配 欧拉路径 确定的多步回溯自动机 模型检测 非线性混合系统 算法 着色Petri网 形式化验证 组合Web服务 多出口 有穷自动机 生成算法 偶阶幻方 导出结构图 有向图 回溯自动机 确定的下推自动机 结构图 确定有限自动机 验证 数据流图 优先数 矩形混合系统 转换算法

西北大学计算机科学系 西安电子科技大学计算理论与技术研究所 西北大学