张姗梅 孙志强 莫德敏 阎金瑶 麻勇军 冯桂莲 刘跃霞

状态图像 Cartan阵 核 标准正交基 字符串匹配 加权有限自动机 半环 形式语言

陕西西安 广东广州 中山大学数学系 太原师范学院数学系 西安交通大学理学院 太原师范学院计算机科学与技术系 太原科技大学计算机科学技术学院 太原科技大学计算机科学与技术学院