%0 Journal Article
%T 模式匹配问题的描述框架与算法模型*
%A 张治
%A 车皓阳
%A 施鹏飞
%J 模式识别与人工智能
%P 715-721
%D 2006
%X 应用泛代数理论,建立模式匹配问题的泛代数学描述框架,研究模式匹配问题的数学基础.基于泛代数学理论的观点,模式是一类有限的结构(代数),模式匹配能够被形式化为寻找两个结构之间保持的映射关系,即为两个结构之间的同态.证明模式同态问题与模式匹配问题的等价关系,亦即模式匹配问题可以归约为模式同态问题.基于模式同态的框架,提出求解模式匹配问题的算法模型.
%K 模式匹配
%K 同态
%K 模式同态
%U http://manu12.magtech.com.cn/Jweb_prai/CN/abstract/abstract10710.shtml