1) Formal Semantics
形式语意学
2) student-initiated attention to form
学生对语言形式的自发注意
1.
It is designed to compare student-initiated attention to form in an ESL and EFL context and in different teaching settings.
通过调查中国高职学生在英语口语活动中自发注意的语言形式,对比了以英语为二语和以英语为外语的环境下学生对语言形式的自发注意情况以及在不同课型中学生对语言形式的自发注意情况。
3) formal semantics
形式语义学
1.
The History and Framework of Formal Semantics;
形式语义学的历史渊源和理论框架
2.
The authors used formal semantics as a means to specify query requirement s analyses and establish a conceptual basis for query procedure derivation.
使用形式语义学方法详细说明了查询操作需求分析,建立了查询过程演算概念,并以NetConf协议的查询操作(get)为例验证了提出的方法。
3.
This paper expatiates the understanding of "grammar", "syntax and semantics" and "predicate and sentence" from the perspective of formal semantics.
阐述了形式语义学关于"语法"、"句法和语义",以及"语词和语句"等概念。
4) formal pragmatics
形式语用学
1.
A Comprehensive View on Formal Pragmatics ——With a Perspective on Chinese Formal Pragmatics;
形式语用学研究综论——兼论汉语形式语用学研究的发展思路
2.
As the formal study of language use, formal pragmatics involves the pragmatic orientation and choice of formal approach.
形式语用学是以语用为研究对象的一种形式化理论形态,因而包含着理论主体的语用学取向和形式化系统的选择。
5) formal linguistics
形式语言学
1.
The Spirit of Pure Science in Formal Linguistics;
形式语言学的纯科学精神
2.
The fundamental issue on which formal linguistics differs from functional linguistics is the autonomy thesis.
形式语言学与功能语言学的根本区别在于对语法自主和句法自主的看法。
6) Chinese Formal Pragmatics
汉语形式语用学
1.
A Comprehensive View on Formal Pragmatics ——With a Perspective on Chinese Formal Pragmatics;
形式语用学研究综论——兼论汉语形式语用学研究的发展思路
补充资料：机器可表示的形式语言
机器可表示的形式语言
ormal language, machine-representaMe
机器可表示的形式语言【匆m..加心口罗，.抽山i世一比p限-，幻加城;加pMa月.ou 03。二，upe及eTan“Mu盆Ma.，.诫J，妙拳可谬别的形式语言(姗chine一托以)邵毯乙ble fonT以】h刀g阳罗) 在执行过程中使机器进人某一特定状态的所有字(协。心)组成的集合.任何一个字的递归可数集都是由某个口1、耐嗯机(T面ngTr以山irle)可表示的一种形式语言.最常见的是考虑递归形式语言的机器识别.有限自动机(autoTnaton，6hite)识别且仅识别正则语言;带堆栈记忆的自动机识别且仅识别上下文无关语言. 当一种形式语言是由无穷字(超字)组成时，称为超语言(sul军rlan今功罗).机器识别超语言的定义与通常见到的定义不同.例如，一个字x属于一个有限自动机吸可识别的超语言，当且仅当自动机在处理x时无穷多次进人某一特定的状态子集. 在研究不是以机器术语给出的具体形式语言时(例如，以形式文法(granu刀ar，fon丁以1)给出的)，经常需要从某个方面刻画语言的复杂性.在这个方向上最通常的途径之一就是寻找能够识别这些语言的一个适当的机器类，并以这类机器的复杂性特征来确定语言的复杂性.另一方面，作为一种惯例，研究具体的某一类机器也包括描述这类机器可表示的形式语言.对机器可表示形式语言的进一步研究是关于这些语言与一些已知的语言类的关系问题，封闭性质(相对于集合论运算等)，以及关于算法和复杂性特点的问题.【补注】亦见形式语言与自动机(伪~】language，王川da以orr坦ta).鲍丰译李廉校
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条