| 1. | Bnf grammar of fully qualified type names
完全限定类型名称的bnf语法 |
| 2. | Information technology - syntactic metalanguage - extended bnf
信息技术.句法元语言.扩展的bnf |
| 3. | The bnf is used to formalize the packet filtering rules
本文利用巴科斯范式( bnf )对驻留主机防火墙的过滤规则进行了形式化描述。 |
| 4. | The following table lists bnf lexical rules that describe how to recognize a valid input
下表中列出的bnf词法规则说明如何识别有效的输入。 |
| 5. | In the bnf grammar , reflectionemitdimension only applies to incomplete type definitions retrieved using
在bnf语法中， reflectionemitdimension仅适用于使用 |
| 6. | In bnf , the only way to indicate a list of an arbitrary number of elements is through recursion
在bnf表示法中，为了表示一串任意个数的元素，唯一的方法是通过递归来定义。 |
| 7. | The paper adopts bnf to express the logic expressions , providing a good formalization method
论文采用了巴科斯范式来表示逻辑表达式，为其提供了一个很好的形式化的表达方式。 |
| 8. | Over the years , a modified version of bnf , called abnf , has been popular among many internet specifications
多年来，巴克斯范式（ bnf ）的一个修订版，即扩展巴克斯范式( abnf ) ，已经在许多互联网规范中流行。 |
| 9. | Based on the analysis , we integrate the corba component model and the software architectures and put forward a ccm - based software architectures " model . we implement this model through giving a bnf of adl , developing an adl compiler and extending the corba implementation . by the compiler , the developer can pay more attention on the analysis of the specific domain and the development of the components
本文分析了现有的corba以及软件体系结构的研究现状，结合了corba构件和软件体系结构，提出了基于corba构件的软件体系结构模型，定义了一套与之相应的语言? ? adl ，并实现丁adl编译器，通过它能生成辅助代码来屏蔽全局组织和控制以及构们：之间的相互通讯，而使用户能把更多的精力集中在专有领域的分析和构件的开发上。 |
| 10. | 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逻辑和基本指称语义对本文所定义的操作语义模型的正确性和可靠性进行了证明。由此可见,本文从全新的角度定义了一种可以处理动态模糊问题的程序设计语言。 |
