Syntax and operational semantics of recursive programs based on predicate logic
建立于谓词逻辑上的递归程序及其操作语义
来源:互联网摘选汉语语义句法生成可分为基本生成和句子生成两大块。
来源:互联网摘选整个解析过程分为四个阶段,分别对应于编译技术中的词法分析、语法分析、语义分析和代码生成。
来源:互联网摘选给出了Bichon语言原型的核心语法,构件动态连接的运行时语义描述,类型系统。
来源:互联网摘选由于中文语法和语意的复杂性,使得中文的文本匹配变得异常困难,因此设计一个基于中文的高效、准确的非结构文本匹配系统具有广泛的现实意义。
来源:互联网摘选本文在系统分析Seal演算与Boxed Ambient演算的语法结构和语义规约系统的基础上给出了一些等价关系:通信等价、通信原语等价和代码移动等价。
来源:互联网摘选语法和语义异构的数据采集是网络管理平台的基础和难题。
来源:互联网摘选XML和本体作为系统采用的关键技术分别从语法、语义两个方面解决了数据的异构问题,对上层用户屏蔽了底层数据源物理和逻辑的差异性,实现了应用层的透明访问。
来源:互联网摘选研究方法大致分三类:词汇法、语义法和句法。
来源:互联网摘选And Markup Language parser includes three parts: token, syntax and semantic analyzer.
标记性语言的解析包括:词法分析、语法分析、语义分析三个部分。
来源:互联网摘选首先采用描述逻辑表达领域本体的语法和语义,实现领域本体的形式化转换;
来源:互联网摘选本文将术语词典和局部分析法结合起来,从语义和语法两个层面做查询扩展。
来源:互联网摘选In child aspect acquisition, verb semantics and syntax serve as important factors;
文章认为:在儿童时体习得过程中,动词语义特征和句法结构类型是影响时体习得的重要因素;
来源:互联网摘选模式匹配采用了抽象语法树同构判断算法;指针语义则是通过语义约束来确定程序唯一语义以达到检查安全漏洞的目的;跨过程分析采用基于总结的上下文敏感分析方法。
来源:互联网摘选句法模式识别在棉花生育期温度条件评价中的应用
来源:互联网摘选The syntax analyzer has one recursive procedure for each nonterminal U.
对于每个非终结符号U,语法分析程序都有一个递归过程。
来源:互联网摘选
简答网 · 英语词汇

简答网 · 初中英语作文

简答网 · 高考英语

简答网 · 高考英语

简答网 · 双语娱乐资讯

简答网 · 中考英语