English translation for "语法框架"
|
- syntactic frame subcategorization frame
Related Translations:
语法不对: highly trained workers 词汇语法: lexicalgrammarlexicon grammarvocabulary and grammar 语法图: bead diagramgrammar graphsyntacticchartsyntax chartsyntax diagramsyntax graph 语法过程: grammatical process 语法讲话: introduction to grammar
- Example Sentences:
| 1. | Because of the particularity of the students and the abstract complexity of the grammar system , teaching foreigners chinese grammar is rather difficult 摘要由于学生群体的特殊性、语法本身的抽象性、以及语法框架的复杂性,使对外汉语语法教学具有相当的难度。 | | 2. | Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ) , the author studied semantic and syntax properties of generalized lattice - valued modal logic system , and probed into a - resolution principle . the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part , we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ) , set up a new lattice - valued modal propositional logic system lmp ( x ) , studied its semantic properties and syntax structure , proved the soundness and consistence of this system . based on these work , discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ) , gave out the rules of computing a - direct resolvent and a - self resolvent , and proposed detailed resolution method 本文在格值命题逻辑系统lp ( x )和格值一阶逻辑系统lf ( x )的基础上,讨论了广义格值模态逻辑系统的语义及语法性质,并对其-归结原理做了初步探讨,主要在下述三个方面取得了研究成果:第一部分:关于格值模态命题逻辑系统及其归结方法的研究在此部分,把模态算子n (必然)和p (可能)引入格值命题逻辑系统lp ( x ) ,建立了新的格值模态命题逻辑系统lmp ( x ) ,并研究了它的语义刻画及语法结构,证明了在此语义解释和语法框架下的系统仍是-可靠的和协调的;在此基础上,进一步研究了基于格值模态命题逻辑系统lmp ( x )的-归结原理,给出了计算-直接归结式和-自归结式的规则,并总结出具体的归结方法。 |
- Similar Words:
- "语法控制" English translation, "语法控制的生成程序" English translation, "语法控制的生成程序 语法控制发生器" English translation, "语法控制发生器" English translation, "语法框" English translation, "语法类型, 句法类型" English translation, "语法理论" English translation, "语法描述" English translation, "语法描述语言" English translation, "语法描写" English translation
|
|
|