摘要
为方便卸载指定环境中不必要执行或根本不可能执行的子界程,提高内存的利用效率,在CARDELLI和GORDON提出的界程演算基础上,提出带del操作的界程演算,给出了其语法、语义和归约关系的定义,最后应用带del操作的界程演算建模英文语句,能够通过模型的演绎来识别句子的句型,建模简单易行。
Based on the mobile ambients proposed by L.Cardelli and A.D.Gordon,in order to unload the unnecessary or impossible subambients in the specified environment and improve the memory utilization efficiency,the mobile ambients with del operation is given and the syntactic and semantic is defined.This paper uses mobile ambients with del to model English statements to identify the sentence type of the sentence through the model interpretation,modeling is simple and easy to do in the process.
作者
江华
李玲香
JIANG Hua;LI Lingxiang(School of Computer Science and Engineering,Huizhou University,Huizhou 516007,Guangdong,China;School of Information Engineering,Hunan University of Science and Engineering,Yongzhou 425199,Hunan,China)
出处
《惠州学院学报》
2023年第3期12-17,共6页
Journal of Huizhou University
基金
教育部人文社会科学研究项目(20YJAZH040)
湖南省社会科学成果评审委员会课题(XSP22YBZ054)
福建省自然科学基金(2019J01751)
湖南科技学院校级教学改革研究重点项目(XKYJ2022010)
惠州学院教授科研启动项目(2021JB003)。
关键词
模型检测
移动界程
机器翻译
形式化建模
model checking
mobile ambients
machine translation
formal modeling
