context free grammar 中文意思是什麼
context free grammar
解釋
上下文無關文法-
As a member of the team researching and developing the new generation of atc ( air traffic control ) system ( named mrd2k - jh ) for chinese air force, the author devotes his energies in the work of fdp ( flight data process ). this thesis first introduces what is atc system and the present status of atc systems in china, then sets forth the design and structure of the new mrd2k atc system, based on the research and adjustment to the actual environment, essential technical points of fdp are presented in detail : the interface of traffic telegram and decoding algorithm : in this part, the application interface of eicon x. 25 card for mrd2k is introduced, and then the realization of a decoding algorithm based on context - free grammar is described in detail, which replaces the traditional method that decoding each telegram using a corresponding subprogram
本文基於我國新一代軍航空中交通管制（ airtrafficcontrol ）系統mrd2k - jh的研製開發過程，首先介紹了空中交通管制系統的概況和現狀，然後從建立空管自動化系統的角度闡述了mrd2k的詳細設計和系統結構，接著結合作者參與的系統重要部分飛行數據處理（ flightdataprocess ）的工作，在進行了大量深入研究和與實際環境相切合的基礎上，針對其中的諸多技術細節，提出了經實際驗證富有效用的解決方案。 -
First, the paper researches the format and semantic features of iso apt in detail, next, applies regular expression to describe the definition of apt ’ s tokens and uses context - free grammar to describe apt ’ s syntax rules, last, designs the intermediate code format which keeps on the source code semantic and designs a complete module to check lexical and syntax errors of nc code by using modern compiling techniques
在代碼預處理技術方面，詳細研究了標準數控代碼語言的格式和語義並採用現代編譯技術中的正則表達式和上下文無關文法分別描述了標準數控代碼語言的記號定義和語法結構定義;設計了保持源代碼語義的中間標準數控代碼格式，在此基礎上，設計並構建了數控代碼的詞法和語法檢查模塊。 -
We combine syntactic parsing and semantic analysis, use the extended context free grammar to analyze chinese. each syntactic production has a precondition judge function
漢語的分析採用擴展的上下文無關文法，每一條句法產國防科學技術大學研究生院學位論文生式都對應一個前提判斷函數。 -
A formal definition of proposition formulae was provided by context - free grammar, and the conversion from proposition formulae to polynomials was solved automatically
摘要該文將命題邏輯的定理證明轉換為多項式方程的求解問題，從而提出了一種基於非子句的代數化方法。
分享友人