形式语言基于Monads的语义计算模型

摘要：

传统形式语言的语义建模方法在语义解释与规则描述等语义计算方面存在不足,应用范畴论方法的Monads对形式语言的语义计算进行了研究.基于Monads构造Kleisli范畴,在Kleisli范畴的形式化框架内建立语义计算模型,并对该模型进行了应用.与传统语义建模方法相比,所提语义计算模型具有普适性,其语义解释与规则描述的能力更强.

关键词：语义计算、Monads、伴随函子、形式语言、Kleisli范畴

所属期刊栏目：44

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

资助基金：国家自然科学基金项目61103039;广东省自然科学基金项目S2013010015944;广东省高等学校优秀青年教师培养计划项目YQ2014155

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

页数：共5页

页码：199-202,218