formal syntax 中文意思是什麼
formal syntax
解釋
形式語法-
This book addresses fundamental issues in linguistic theory, including the relation between formal and cognitive approaches, the autonomy of syntax, the content of universal grammar, and the value of generative and functional approaches to grammar
這本書的地址根本問題，在語言學理論，包括關系正式與認知方式，自主性的語法，內容普遍語法，和價值的生成和功能的方法語法。 -
First, this paper introduces the notation, categories and properties of security protocols, and formal methods to verify security protocols and small system model. the emphasis is the research and analysis of the principle of the model checking method. we study the mechanism and syntax of symbolic model checking tool smv, model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
文章主要介紹了安全協議的概念、分類和性質，安全協議的形式化驗證方法，以及小系統模型的原理；重點分析和研究了符號化模型檢驗工具smv的原理和語法及其對安全協議進行模型檢驗時的工作機理，而且使用smv對needham - schroeder公鑰協議和wooandlam對稱鑰協議進行了形式化建模與模型檢驗，發現了它們的安全漏洞。 -
The glossary significance finally manifests in the syntax structure by a certain form, the verb valence may carry on the formal verification in the syntax structure
詞匯意義最終在句法結構中以一定形式體現出來，動詞的價可以在句法結構中進行形式驗證。 -
This paper proposed a problem - solving theory based formal model, introduced the basic syntax and p - calculus based semantics of the model, and presented some pivotal concepts and propositions in the deduction of the model
摘要提出了一種基於問題求解理論的密碼協議模型，給出了模型的基本語法以及基於演算的形式語義，明確了模型推理過程中涉及到的一些關鍵性的概念和命題。 -
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
第四，藉助一種受限的句法語言，研究了對系統頂層功能進行半形式化規范的方法和過程，而頂層功能規范則為系統驗證、隱蔽通道分析等后繼工作奠定了基礎。 -
Xml has a very precise and formal syntax
Xml有一種非常精確而正式的語法。 -
Information technology - z formal specification notation - syntax, type system and semantics
信息技術. z形式規范注釋.語法類型系統和語義學
分享友人