1) syntax language
语法语言
2) C language grammar
C语言语法
4) legal language
法律语言
1.
On Development and Evolution in China s Legal Language;
中国法律语言发展和演变述论
2.
Seeing parenthesis’s function at daily vehicular language and legal language from relationship theory’s angle
从关联理论看插入语在日常交际语和法律语言中的语用功能
3.
As a branch of protocol language, legal language is characterized by accuracy of choice of words.
法律语言作为一种规约性的语言分支,用词准确是其重要特点。
5) Speech therapy
言语疗法
补充资料:语法语言
语法语言
syntactic language
语法语言[synta改.1替.ase;e“盯眠c“tlecKH一”3uK] 一种用来研究形式语言而不考虑其解释的语言.数理逻辑中语法语言概念的产生是与研究和形式化有内容的数学理论的问题相联系的.形式化某一理论得到的一个形式系统(forn祖1 system),这个形式系统可以看成是独立的研究对象,而不管它的来源如何.语法语言就是用这种观点来研究形式系统的. 语法语言是用来描述形式系统的语言,即它的初始符号、项、公式等,用来定义形式系统的推演概念,用公式表述和证明形式系统的定理.因此,一个形式系统同两种语言有关:一种是形式系统自身被研究的语言(对象语言(。坛ect hllgUage)),另一种是研究形式系统的语言(语法语言(syntactic language)或元语一言(meta一langUage)). 一个语法语言必须含有对象语言的符号和公式的名称,还必须含有取值为这些符号和公式的变元.对象语言的符号和公式在语法语言中作为它们的固有名称出现(即这些名称表示这些符号和公式本身).通常,语法语言不一定包含语言手段来处理作为独立对象的无穷集.为强调这一点,在提到给定形式系统的基本语法(e】。nent娜syniax)时,还要对照理论语法(theore玩al synlax),在理论语法中假设任意构词都能研究.理论语法的语言也称为元语言(联ta一hllgLI-age).表示得十分仔细的语法语言也可以形式化而成为对象语言.许多足够强的形式系统可以用作为其自身的基本语法语言的形式化.关于形式系统的G议】el不完全性定理(G记el incompleteness theorern)就是基于这一事实得到证明的. 在理论语法的语言中,可以考虑给定形式系统的模型,可以在这些模型中确定该形式系统的真假值.初等算术的理论语法的形式语言的一个例子,就是二l汾算术语言.
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条