摘要
传统形式语言的语义建模方法在语义解释与规则描述等语义计算方面存在不足,应用范畴论方法的Monads对形式语言的语义计算进行了研究。基于Monads构造Kleisli范畴,在Kleisli范畴的形式化框架内建立语义计算模型,并对该模型进行了应用。与传统语义建模方法相比,所提语义计算模型具有普适性,其语义解释与规则描述的能力更强。
Traditional semantics modelling methods of formal languages have some drawbacks to interpret semantics and describe rule, and this paper explored semantics computation of formal languages by monads which is categorical method. It firstly constructed Kleisli category by monads, presented a semantics computational model in the formal framework of Kleisli category, and then applied it by example. Compared with traditional semantics modelling methods, the semantics computational model presented by this paper is universal and has more strong abilities of semantics inter- preting and rule descripting.
作者
苗德成
奚建清
苏锦钿
MIAO De-cheng XI Jian-qing SU Jin-dian(school of Information Science and Engineering, Shaoguan University, Shaoguan 512005, China School of Software,South China University of Technology,Guangzhou 510640,China School of Computer Science and Engineering, South China University of Technology, Guangzhou 510640, China)
出处
《计算机科学》
CSCD
北大核心
2017年第1期199-202,218,共5页
Computer Science
基金
国家自然科学基金项目(61103039)
广东省自然科学基金项目(S2013010015944)
广东省高等学校优秀青年教师培养计划项目(YQ2014155)资助
