语法

The grammar entry includes second stored audio data and a word identifier associated with the second stored audio data.

语法条目包括第二存储音频数据和与第二存储音频数据相关联的单词标识符。

The present research draws on the research results both in China and abroad, and takes Pinker"s theory on English dative alternation as its frame work, with the help of Goldberg"s Construction Grammar to investigate the L2 acquisition of English dative alternation by Chinese EFL learners.

本学位论文在借鉴国内外有关与格转换研究成果的基础上，以Pinker有关与格转换的理论为依据，结合Goldberg的构式语法，考察了英语作为外语的中国学习者对英语与格转换的二语习得。

The present research has theoretical significance in conducting an empirical research to testify Pinker"s theory and study the L2 acquisition of English dative alternation by Chinese EFL learners and enriching our understanding of English ditransitive construction from the perspective of Goldberg"s Construction Grammar.

本研究的理论意义在于通过实证研究来验证Pinker的理论，进而探讨英语作为外语的中国学习者对英语与格转换的二语习得，拓展我们结合Goldberg的构式语法对英语双及物结构的认识。

This thesis quantifiably analyses the two ditransitive constructions, i.e. double objects construction and dative construction, combining with the usage-based grammar theory and common principles of cognitive linguistics. This thesis is trying to expose the practical used models and explain the functional motivations, moreover, to testify the previous study and give a new approach to some valuable questions. This thesis consists of five chapters.

本文对现代汉语双宾和与格这两种双及物句式进行了定量分析，结合"基于用法的"语法理论和认知语言学的一般原则，旨在揭示两种句式的实际的用法模式，并解释其功能动因；对已有研究的结论进行验证，对一些值得进一步讨论的问题提出新的看法。

The corresponding tableau algorithm is also provided. The soundness and decidability of the tableau algorithm are proved. It is shown that the complexity of tableau algorithm is PSPACE-complete.

设计了ALCKR+的语法、语义以及表算法，给出了表算法的正确性以及可判定性证明，证明表算法的时间复杂度为PSPACE-complete。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

However, most scholars agree that their closest ancestors are the classic Greek and Roman grammatical signs that indicated important points of declamation by recording the rise and fall of the voice.

但是，大多数的学者都认为与他词义最接近的词源来自于古希腊和古罗马的语法标记，这些标记标识出演讲中需要提高或者降低说话声的位置。

You can use two different kinds of syntax when coding, declarative and imperative.

你可以使用两个不同的语法编码的时候，声明和必要的。"/页"

Syntax error, bad array declarator.

语法错误，错误的数组声明符。

For most programmers , the most important change is the new syntax for declaring and defining functions.

对大部分程序员来说，最重要的改变是新的函数声明和定义的语法。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。