1) theoretical contrastive linguistics
理论对比语言学
2) On the Contrast of Languages
论语言对比
3) Contrastive Linguistics
对比语言学
1.
The Application of Contrastive Linguistics in Teaching the Second Foreign Language to Graduate Students;
对比语言学在研究生二外英语教学中的应用
2.
A Five-Step Approach to Translating Long English Sentences into Chinese:——A Thinking & Teaching Mode from the Perspective of Contrastive Linguistics;
英语长句翻译“五步法”——对比语言学观照下的英语长句翻译思维和教学模式
3.
Contrastive Linguistics: Influence and Countermeasure of Irregular Language Material;
对比语言学:欧化语料的影响与对策
4) Linguistic theory
语言学理论
1.
But many translation theorists choose to recur to some linguistic theory terms and methods to study translation and direct translation practice.
本文试从历史的角度探讨语言学理论在翻译理论及实践中的应用及其指导作用。
2.
It further advocates that English teachers of middle school should learn and apply linguistic theory in teaching.
语言学理论对英语教学越来越重要，中学英语教师应加强语言学理论的学习与应用。
3.
The paper discusses the concrete requirements that must be met by analyses of language acquisition that are based on linguistic theory.
论文以国际儿童语言研究为参考点,对儿童汉语研究作了一个简短回顾,指出了当前这方面存在的一些局限,并分析了从语言学理论角度去研究儿童语言的具体含义。
5) theoretical linguistics
理论语言学
6) linguistic theories
语言学理论
1.
An Exploration of the Teaching Methods on the Linguistic Theories to the Graduate Students
研究生语言学理论课教学探索
2.
Modem linguistic theories have provided valuable guidance on lexicography.
现代语言学理论对词典编纂具有指导和借鉴作用。
3.
Since both the natural and humanistic scienti cfitheories, including Western linguistic theories, following the ancient Greek tradition of rationalism, are mainly constructed deductively from certain axioms or postulates, making explicit the basic assumption of theories is the prerequisite of theory integration.
从分析科学方法的本质特征和科学理论的结构入手,指出西方自然和人文科学理论多以公理演绎法建构理论体系的特点,语言学理论也不例外。
补充资料：形式语言理论
| 形式语言理论 formal language theory 用数学方法研究自然语言（如英语）和人工语言（如程序设计语言）的产生方式、一般性质和规则的理论。形式语言是模拟这些语言的一类数学语言，它采用数学符号，按照严格的语法规则构成。从广义上说，形式语言是符号取自某个字母表的字符串的集合。 如同自然语言具有语法规则一样，形式语言也是由形式文法生成的。一个形式文法是一个有穷变元集合，这些变元也称为非终结符或语法范畴。每个变元都可以用来定义语言，定义方式可以是递归的，即通过一些称为终结符的原始符号，加上变元自身，递归地加以定义。和变元有关的规则称为生成式，生成式决定了语言是如何构造出来的。一个典型的生成式表示：给定变元所代表的语言包含这样一些字符串，它们是通过连结运算，将另外某些变元语言中的字符串和若干终结符连结起来而得到的。 形式文法被严格地定义为四元组G＝（V，T，P，S），其中V和T分别是变元和终结符的有穷集合，并且V和T分别是变元和终结符的有穷集合，并且V和T没有公共元素，即V∩T=Æ。S是一个特殊变元，称为开始符号。P是生成式的有穷集合，生成式的基本形式是：a→β，这里a和β，这里a和β都是（V∪T）*中的元素，即它们都是由变元和终结符组成的符号串，但要求a至少含有一个非终结符。在形式文法定义中，生成式集合P是至关重要的 。 在对使用符号的惯例作某些约定后，仅仅考查生成式，就能推断出一个文法的变元、终结符和开始符号，故可以友爱过列出生成式来定义一个形式文法。 同形式文法G＝（V，T，P，S）产生的形式语言记为L（G）。L（G）中的字符串ω都具有如下特点：①该字符串仅由终结符组成，即ω∈T*；②该字符串能由开始符号S派生出来，即从S出发，通过应用零个或多个P中的生成式，由S可以推导出ω。 根据P中生成式a→β的特点，可以将形式文法及其产生的形式语言分类，构成所谓的形式语言谱系。形式语言理论中重点研究四类文法和语言：①0型文法。又称为无限制文法。这种文法对生成式a→β不作特殊限制，a和β可以是任意的文法符号串，当然a不能是空字符串。0型文法是形式语言谱系中最大的文法类。由0型文法产生的形式语言恰是图灵机所识别的语言类，即递归可枚举语言。②1型文法。又称为上下文有关文法。这种文法要求生成式a→β满足｜a｜≤｜β｜，即β要至少和a一样长。 由1型文法产生的语言称为1型语言或上下文有关语言。1型语言恰是非确定型线性有界自动机所识别的语言类。③2型文法。又称为上下文无关文法。这种文法要求生成式a→β中的a必须是变元。由2型文法产生的语言称为2型语言或上下文无关语言。2型语言恰是由下推自动机所识别的语言类。④3型文法。又称为正则文法。这种文法分为两种类型：第一类要求生成式的形式必须是A→ωB或A→ω，其中A，B都是变元，ω是终结符串（可以是空串），这种特殊的正则文法称为右线性文法。第二类正则文法称为左线性文法，它要求生成式必须是A→Bω，或A→ω的形式。由正则文法生成的语言称为正则语言，它恰是有穷自动机所识别的语言类。 上述定义的4种语言类具有依次包含关系，即对于i＝0，1，2，在不考虑空字符串时，i型语言都真包含i＋1型语言 。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条