1) the grammatical process and the semantic process
语法过程和语义过程
2) procedural semantics
过程语义
1.
Approach to analyze the procedural semantics of OWL-S based on extended coloured Petri nets;
基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法
3) semantic procedure
语义过程
4) grammatical process
语法过程
1.
This paper concentrates on the grammatical process in the shift.
本文研究名词转用作动词 (名动转用 )的语法过程。
5) Semanticalizing Procedure
语义化过程
1.
Research on Information Representation and Semanticalizing Procedure Based on Semantic Web;
基于语义Web的信息表达与语义化过程研究
补充资料：语法
语法
syntax
语法【syntax;c皿“TaKe“c」，数理逻辑中的 作为纯符号系统的形式公理理论的描述和研究(与之比较，语义(se扣。niies)涉及形式理论对象的含义).在数学基础中区别语法和语义是特别重要的，数学基础所研究的形式理论的语义不是直观上明显的.在这种情形下，形式理论语法的描述和研究常借助元理论(meta一theory)中更加可靠的直觉可信的方法来实现，元理论作为基础使用，而不直接解释所研究的复杂的语义的本质特征.例如，在公理集合论(a朋matic set theory)中，熟知的G记el的选择公理的相容性可以作为语法的、有限地可证明的结论，只要Zermefo一Fraellkel形式理论和谐，则加上选择公理也和谐. 当我们不限于数学基础而考虑证明论(prooftheo-ry)时，语法和语义的区别就不是这么重要的了.有人采用所谓的半形式系统(senU一fora长d system)，其中推演概念就与某些语义约定有关.形式语言可以实质上是集合论式地用无穷长公式等来定义.另一方面，对于有界可表示的形式语言，诸如组合逻辑(com-bmtory fogic)的语言，算术语言(algoritlm血lan即-age)，创门的语义可以用该语言的纯语法的方法严格地阐述出来.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条