1) algorithmic program
算法程序
1.
Based on partition and recurrence, rules of quantifier transformation, new strategies for developing loop invariants, and software transforming tools, a unified formal approach called PAR method gives a new way to develop complicated algorithmic programs.
在得到简短、易于理解、高可靠性的Apla算法程序之后,通过转换工具自动生成Java,C++等可执行程序。
2.
They are a key for understanding, proving and deriving an algorithmic program.
循环不变式在软件形式化方法中占有十分重要的地位，它是理解、证明和推导算法程序的基础和关键。
2) Algorithmic programs
算法程序
1.
The paper develops two algorithmic programs of combinatorics problems using the formal method PAR.
使用形式化方法PAR开发了两个组合数学问题的算法,形式化推导过程为问题求解提供了思路,自然地引进了算法程序中用到的变量,清晰地展示了算法程序的设计过程,最终可得到简洁、易理解、可靠性高的算法程序。
2.
However, many teaching material about combinatorial algorithms can only produce algorithms but can t provide the designing process from unresolved problem to exact algorithmic programs, which seriously impair underst.
然而，许多组合算法程序设计教材上没有对算法程序进行形式化推导，不能给出从需要求解的组合数学问题到具体算法程序的设计过程，这严重影响了算法设计者对算法本质的理解和算法设计能力的提高。
3) program algorithm
程序算法
1.
Research on application of data mining technology in program algorithm database;
数据挖掘技术在程序算法数据库中的应用研究
4) Programming algorithm
程序算法
1.
In this article, We give a programming algorithm of fast approximation for true value,That is, method of fractional stePS error, and as an example,we give its application.
本文介绍一种新的逼近真值的快速程序算法及其应用。
5) PLC Program Algorithm
PLC程序算法
补充资料：编译程序的编译程序
编译程序的编译程序
compiler-compiler
b Ianyi ehengxu de blanyi chengxu编译程序的编译程序《compile卜伪mpiler》产生编译程序的编译程序。它接受用某一适当的表示体系描述的某一语言类中任一语言A的词法规则、语法规则、语义规则和(或)代码生成规则，并从这些描述产生出用目标语言B写的关于语言A的编译程序的全部或部分。编译程序的编译程序又称为偏译租序的生成租序。 通常，编译程序分成词法分析程序、语法分析程序、语义分析程序、代码生成程序等若干部件。这些部件可以用一个总的编译程序的编译程序的不同部分来生成，也可以分别用不同的专用生成程序来生成。这些专用生成程序包括词法分析程序的生成程序，语法分析程序的生成程序和代码生成程序的生成程序等。 词法今析租序的生成粗序接受以正则文法或其它类似文法描述的单词，构造一个有限状态自动机，由此生成一个词法分析程序。 语法介析程序的生成程序接受以上下文无关文法的形式描述的源语言的语法，生成一个语法分析程序。各种语法分析程序的生成程序随实现语言、语法分析算法的原理以及源程序中语法错误处理能力的不同而异。如采用LR的语法分析程序的生成程序YACC和采用递归下降法的语法分析程序的生成程序L比en。 语义分析程序、中间代码生成程序和目标代码生成程序的生成程序的设计与实现与形式化的语义描述紧密相关。语义描述形式化技术相当困难，目前大多数生成程序中语义描述还是采用非形式化，它们的基本思想是为源语言的上下文无关文法的语法符号或产生式配以翻译子程序(语义动作或语义子程序)。 现有不少性能很好的编译程序的编译程序，如词法分析程序的生成程序LEX，语法分析程序的生成程序yACC和LLgen，它们都显著提高了编译程序的开发效率。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条