|
|||||
|
|
| 带del操作的移动界程演算及其在英文句型识别中的应用 | |
| 引用本文： | 江华,李玲香.带del操作的移动界程演算及其在英文句型识别中的应用[J].惠州学院学报,2023(3):12-17. |
| 作者姓名： | 江华 李玲香 |
| 作者单位： | 1. 惠州学院计算机科学与工程学院;2. 湖南科技学院信息工程学院 |
| 基金项目： | 教育部人文社会科学研究项目(20YJAZH040)；;湖南省社会科学成果评审委员会课题(XSP22YBZ054)；;福建省自然科学基金(2019J01751)；;湖南科技学院校级教学改革研究重点项目(XKYJ2022010)； |
| 摘 要： | 为方便卸载指定环境中不必要执行或根本不可能执行的子界程,提高内存的利用效率,在CARDELLI和GORDON提出的界程演算基础上,提出带del操作的界程演算,给出了其语法、语义和归约关系的定义,最后应用带del操作的界程演算建模英文语句,能够通过模型的演绎来识别句子的句型,建模简单易行。 |
| 关 键 词： | 模型检测 移动界程 机器翻译 形式化建模 |