模式匹配问题的描述框架与算法模型

摘要：

应用泛代数理论,建立模式匹配问题的泛代数学描述框架,研究模式匹配问题的数学基础.基于泛代数学理论的观点,模式是一类有限的结构(代数),模式匹配能够被形式化为寻找两个结构之间保持的映射关系,即为两个结构之间的同态.证明模式同态问题与模式匹配问题的等价关系,亦即模式匹配问题可以归约为模式同态问题.基于模式同态的框架,提出求解模式匹配问题的算法模型.

关键词：模式匹配、同态、模式同态

所属期刊栏目：19

分类号：TP301(计算技术、计算机技术)

资助基金：国家973计划资助项目G1998030408

在线出版日期：2009-08-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：715-721