syntax language 中文意思是什麼
syntax language
解釋
語法語言-
Fukui, naoki ( 1995 ) the principles - and - parameters approach : a comparative syntax of english and japanese. in shibatani & bynon ( eds. ), approaches to language typology. oxford : clarendon press
中文本《某些主要與詞序有關的語法普遍現象》 ，陸丙甫、陸致極譯， 《國外語言學》 1984年第2期 -
We first present a number of desiderata for an xml - based query language, and based on this criterion, we introduce the syntax of a simple core ian - guage for semistructured data and then describe four extensions that have resulted in working prototypes. second, we present the algorithm for computing the result of a regular expression on data graph with cycles, the first - order interpretation of querying language for semistructured data, and explore structural recursion and bisimulation in semistructured data and propose an efficient and systematic way to computing a bisimulation between the two graphs. we also proposed and implemented a web querying system with database features
基於這些準則，對一個簡單的半結構數據查詢核心語言的語法提出了兩方面擴充；給出了計算數據圖中正規表達式的演算法；對半結構數據查詢語言的一階邏輯描述、結構遞歸和數據圖的雙態模擬（ bisimulation ）等問題進行了研究，提出了一種判定數據圖的bisimulation演算法；在xml數據查詢語言研究的基礎上，設計並實現了一種具有數據庫查詢特性的web查詢系統原型。 -
This thesis will rely on previous studies of instructions on the general rules and language functions, and modification of teacher talk to carry on a multi - layer study on junior middle school teachers " instructions with aspect of linguistic forms and language functions in chinese efl classrooms. after study on the transcriptions of 30 lectures ( 10 lectures are given by in - service teachers, 10 lectures are given by pre - service teachers and 10 lectures are given by the winners in fine - quality classroom competitions ) of efl classroom of junior middle schools in china, the major findings are : ( 1 ) the teachers likely use some devices with respect to prosody ( temporal variables ), lexis, syntax and discourse to simplify and clarify the complex instructions to match the requirement of junior middle school students " listening comprehension. ( 2 ) there are about three factors that cause the ineffective instructions
本文在前人的關于教師語言的調整，指令語及其表達功能的研究基礎上以何安平教授建立《中學英語教育語料庫（ mstm ） 》中的近17 . 7萬字的子語庫《英語課堂教學語料庫（ msee ） 》為研究語料，選擇了其中30節初中英語課為研究對象，對教師指令語的言語形式及其語言功能進行了較為深入的描述分析，發現： （ 1 ）在音律層面，中國中學英語教師習慣川停頓來放慢語速或在一些難詞之前做停頓以便達到讓學生理解的要求：詞匯層面，教師慣用一些表達方式來給指令語；句法層面，教師也是盡量用簡單句來簡化指令語；語篇層面，初中英語課堂上教師常用一些信號詞來起始解釋性指令語，並少用宏觀語篇標記詞來幫助學生理解，但卻常用微觀語篇標記詞來吸引學生的注意力。 -
The gcc compiler scales very well - from simple batch utility programs to multimillion - line systems. it is the clear syntax tree front end, the highly recapitulative intermediate language and the concise machine description back end that help gcc port to kinds of platforms
其清晰的前端語法樹結構、高度概括的抽象機中間語言、簡潔有力的後端機器描述等三部分為快速實現多語種開發、多平臺移植提供了有力的支持。 -
Owl ' s semantics is limited to description logic, which cannot capture semantics of arbitrary rules. therefore, owlrule + is designed. its syntax extends owl and its semantics is based on carin, a representation language combining description logic and horn rules
針對語義web層次結構中webontology語言owl在一般規則表達能力方面的不足，在其基礎上設計了一種語義web規則標記語言? ? owlrule + ，作為語義web的邏輯規則層。 -
Chapter. 1 dc metadata grammar and syntax from the language scicnce viewpoint, it studies the grammar and the syntax of dublin core metadata and puts forward to two kinds of dublin core metadata syntax according to its characteristics grammar syntax and metadata syntax
第三章dc元數據語法和句法。從語言學角度對都柏林核心元數據的語法、句法進行了較完整的研究。根據都柏林核心元數據的語法特點，提出了將其句法分為語法句法和元數據句法兩類句法。 -
The latter is paid more attention, which automatically acquires lexical context - specific expansions from the web, making full use of the context and high lever natural language processing technology, such as syntax analysis. this method includes two main stages : candidate expansion extraction and expansion validation, both of which mine the web using a search engine. by means of the two stages, we get very high expansion precise thus making the user profile constructed more plentiful and precise
該方法以網際網路作為信息來源，充分考慮了待擴展詞所在的上下文，並融合了句法分析等高層自然語言處理技術，通過擴展和確認兩個主要步驟，逐步求精，使擴展的精度很高，從而在只有少量需求描述的情況下，使初始化構造的用戶模板更加準確和豐富。 -
To paraphrase netrexx inventor mike cowlishaw, netrexx is a programming language derived from both rexx and the java language : its rules of syntax closely follow those of rexx while its semantics are closer to those of the java language
Netrexx的發明人mike cowlishaw對它的解釋是： netrexx是從rexx和java語言這兩者發展而來的編程語言，它的語法規則幾乎完全遵循rexx的語法規則，而它的語義則更接近於java語言的語義。 -
The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc, dfo, dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics
主要內容包括:變形傳統的演算，以更好地描述具有動態模糊性的問題;通過bnf描述了dfl程序設計語言的抽象語法;通過一個三元組< dfsc ， dfo ， dfss >給出了dfl程序設計語言的操作語義模型;給出了dfl程序設計語言的基本框架結構;給出了該操作語義模型的一些應用實例;通過hoare邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。 -
Aiming at this problem, the main research issues and achievements in this paper are as follows : bi - directional data transformation between rdb and xml with semantic constraints preserved for most of existing researches on static data transformation between xml and rdb, dtd is taken as the schema description language for xml, and the semantic constraints are often lost during the transformation process. to overcome these disadvantages, the author adopts xml - schema, a standard schema description language proposed by w3c to replace dtd, as the description method owing to its more powerful functions than dtd, and of course with the syntax much more complicated. after analyzing the constraints characteristics in both xml - schema and relational schema, a semantic constraints - preserved algorithm is proposed which can realize the bi - directional schema mapping between rdb and xml through a formalized description of xml based on regular tree and a general expression for relational schema based on direct graph approach
保留語義約束的xml與rdb雙向靜態數據轉換技術現有研究大多採用dtd （ documenttypedefinition ，文檔類型定義）作為xml的模式描述語言，並且在模式映射過程中丟失語義約束信息，本文分析了xml - schema （ xml - schema採用與dtd完全不同的語法，數據描述能力更強同時也更為復雜，已被w3c確定為替代dtd作為xml模式描述語言的標準）及關系模式的語義約束特徵，通過基於正則樹的xml形式化描述方法以及基於有向圖的一般關系模式表示方法的研究，建立保留語義約束的xml - schema與關系模式的雙向模式映射演算法，實現了xml與rdb的雙向數據轉換，較好地解決了xml與rdb在靜態數據轉換層面的數據集成問題，可有效滿足企業大量rdb數據面向xml的發布以及與日俱增的xml數據存入rdb的應用需求。 -
These escape codes are used to replace elements of the specified string that might otherwise conflict with language syntax
這些轉義碼用於替換指定字元串中可能與語言語法沖突的元素。 -
Part two the study of lattice - valued tense propositional logic system and its resolution method the main work of this part is to introduce four tense operators e ( ever ), f ( will ), h ( ever always ) and g ( will always ) into lp ( x ), put up lattice - valued tense propositional logic system ltp ( x ) which takes time axis as language circumstance, gave detailed semantic interpretation and syntax structure, and discussed some properties of it, then proved soundness theorem and consistence theorem. furthermore, studied ( a, t ) - resolution principle which is related to time, gave some rules of computing tense resolvent, and put forward the method of tense resolution
第二部分：關于格值時態命題邏輯系統及其歸結方法的研究此部分的主要工作是在格值命題邏輯系統lp （ x ）中引進時態運算元e （曾經） 、 f （將會）及其對偶運算元h （曾經總是） 、 g （將會總是） ，提出了以時軸為語境的格值時態命題邏輯系統ltp （ x ） ，並給出其具體的語義解釋和語法結構，並討論了它的一些性質，證明了該系統的可靠性和協調性。 -
And markup language parser includes three parts : token, syntax and semantic analyzer
標記性語言的解析包括：詞法分析、語法分析、語義分析三個部分。 -
In the compiled system, the paper describes symbolic structure of the siprom language word with regular expression. based on the fa theory, this paper presents a lexical analysis method by using morphology table. after comparing some common syntax analysis methods, this paper choosing the lr ( 1 ) analyzer
在編譯部分，本文用正規表達式描述了siprom語言單詞符號的結構，利用有限自動機原理，提出了用構造詞形表的方式來識別單詞的方法，使詞法分析程序具有很好的開放性。 -
The design of the classes of c2000 language grammar elements is of great benefit to the simplification of the whole procedure. the problem of memory management in syntax analysis is solved with an assistant list
通過對c2000語言各語法成分類及其類層次的設計，簡化了整個實現過程，並通過引入輔助鏈表，解決了語法分析中空間管理的問題。 -
Based on comprehensively considering the specific features of monitoring configuration software ' s applying, a configuration language - c2000 language is designed, whose compiler and development environment are then fulfilled. the designing, syntax analysis, semantic analysis and intermediate code generating of c2000 are deeply discussed. a virtual machine is also presented and implemented to support the executing of the intermediate code
論文對組態軟體中的用戶編程介面進行了研究，在充分考慮了監控組態軟體的行業應用特點的基礎上，設計了一種組態語言? ? c2000語言，對其編譯器及開發環境的實現方案進行了詳細論述；並對語言設計、語法分析、語義分析，以及中間代碼生成和用來對中間代碼解釋執行的虛擬機等進行了深入的討論，詳細論述了各語法成分的實現，總結了對源程序中錯誤處理的方法。 -
Does not require any particular language syntax for handling exceptions, but allows each language to define its own syntax
異常處理時不要求任何特定的語言語法，而是允許每種語言定義自己的語法。 -
Part two : emphatically study the culture contents in middle school english teaching, such as lexicon, communicative context, syntax language context
第三部分詳細闡述了文化教學的方法，比如：詞義挖掘法、翻譯對比法、文化旁白等等。 -
Find syntax, language reference, and components
查找語法、語言參考和組件 -
Forth, depending on a limited syntax language, a research on the method and process of the semi - formal specification of the top level function is developed. this top level specification paves the way for the system verification and the covert channel analysis
第四，藉助一種受限的句法語言，研究了對系統頂層功能進行半形式化規范的方法和過程，而頂層功能規范則為系統驗證、隱蔽通道分析等后繼工作奠定了基礎。
分享友人