1)  demonstration
论证程序
2)  demonstration program of reliability SPEC
可靠性指标论证程序
3)  demonstration
论证
1.
The explore heart monitor reasonable dispose demonstration;
关于心电监护仪合理配置论证的探索
2.
The Application of the Method of Technologic Economics in the Demonstration for Purchasing Medical Equipment;
医疗设备购置论证中技术经济学方法的运用
4)  demonstrate
论证
1.
The process akin to arbitrage was first suggested in 1958 by Modigliani & Miller to demonstrate their theory of capital structure (MM58 Model).
莫迪利亚尼和米勒 (MM) 1 958年首次用类似套利过程的模型论证了他们有关资本结构理论 (MM58模型 ) ,但是目前绝大多数财务管理教科书并没有充分、正确地解释套利的最基本要求 ,即当投资转移时 ,必须在相应时期内保持相同的收益和风险水平。
5)  argumentation
论证
1.
Elementary Comments on Upgrading Argumentation of Berthing Capability for Yun Xiang Wharf at Meishan;
浅谈梅山运翔码头靠泊能力的升级论证
2.
Argumentation on Doubtful Points in the Annotation on Analects;
《论语》注疏之疑义论证
6)  Proof
论证
1.
Techniques for Renewing Reformation of Burning Device of Asphalt Mixing Plant and Economical Proof;
公路沥青拌和机械设备燃烧装置更新改造的技术与经济性论证
2.
In this paper, the head of Songhua River is proofed with current theory and method for clearing river head in the world.
本文根据世界统用确定河源的理论与方法,对松花江源头进行了论证,认为嫩江应为松花江主流,其源头就是松花江的源头,松花江长度为2309km,应为我国第三大河。
3.
The article analyses and proves conditions for upper lower bounds,and with examples,the proof methods are given.
基于特殊矩阵论证了重要定理 ,建立了特征值的新界 ,分析并论证达到上下界的条件 ,结合实例给出了论证方法 。
参考词条
补充资料:编译程序的编译程序


编译程序的编译程序
compiler-compiler

b Ianyi ehengxu de blanyi chengxu编译程序的编译程序《compile卜伪mpiler》产生编译程序的编译程序。它接受用某一适当的表示体系描述的某一语言类中任一语言A的词法规则、语法规则、语义规则和(或)代码生成规则,并从这些描述产生出用目标语言B写的关于语言A的编译程序的全部或部分。编译程序的编译程序又称为偏译租序的生成租序。 通常,编译程序分成词法分析程序、语法分析程序、语义分析程序、代码生成程序等若干部件。这些部件可以用一个总的编译程序的编译程序的不同部分来生成,也可以分别用不同的专用生成程序来生成。这些专用生成程序包括词法分析程序的生成程序,语法分析程序的生成程序和代码生成程序的生成程序等。 词法今析租序的生成粗序接受以正则文法或其它类似文法描述的单词,构造一个有限状态自动机,由此生成一个词法分析程序。 语法介析程序的生成程序接受以上下文无关文法的形式描述的源语言的语法,生成一个语法分析程序。各种语法分析程序的生成程序随实现语言、语法分析算法的原理以及源程序中语法错误处理能力的不同而异。如采用LR的语法分析程序的生成程序YACC和采用递归下降法的语法分析程序的生成程序L比en。 语义分析程序、中间代码生成程序和目标代码生成程序的生成程序的设计与实现与形式化的语义描述紧密相关。语义描述形式化技术相当困难,目前大多数生成程序中语义描述还是采用非形式化,它们的基本思想是为源语言的上下文无关文法的语法符号或产生式配以翻译子程序(语义动作或语义子程序)。 现有不少性能很好的编译程序的编译程序,如词法分析程序的生成程序LEX,语法分析程序的生成程序yACC和LLgen,它们都显著提高了编译程序的开发效率。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。