1) modification program
自修正程序
2) correction program
程序修正
3) revision programming
修正程序
1.
This paper presents a new approach to the program of updating logic programs,based on a logic-based framework for standardizing updating knowledge bases-revision programming.
基于逻辑程序的知识库更新方法研究的焦点在于处理知识库的冲突问题,但代价是更新时规则库增大很快,该文提出了“修正的逻辑程序知识库更新方法”,此种方法基于一种规范知识库更新的形式化方法—修正程序,此种更新方法不仅可以最大程度地减少更新时规则库的增大,也避免了重复工作和知识库信息的丢失,还可以同时满足“替换更新”和“丰富更新”。
4) modification by program-self
程序自修改
5) amendment procedure
修正案表决程序
1.
The order of voting effect for the amendment procedure and the successive procedures in the following two cases are studied.
对修正案表决程序和顺序表决程序在相互偏好信息完全不知和相互偏好信息完全已知这两种情况下的投票次序效应进行了研究 ,分析了具有不同偏好的投票人在不同偏好信息假设下的投票策略 ,给出了修正案表决程序和顺序表决程序的选择结果与偏好结构之间相互关
6) Extended Revision Program
扩充修正程序
1.
Some Basic Results of Extended Revision Programs;
扩充修正程序的一些基本结果(英文)
补充资料：编译程序的编译程序
编译程序的编译程序
compiler-compiler
b Ianyi ehengxu de blanyi chengxu编译程序的编译程序《compile卜伪mpiler》产生编译程序的编译程序。它接受用某一适当的表示体系描述的某一语言类中任一语言A的词法规则、语法规则、语义规则和(或)代码生成规则，并从这些描述产生出用目标语言B写的关于语言A的编译程序的全部或部分。编译程序的编译程序又称为偏译租序的生成租序。 通常，编译程序分成词法分析程序、语法分析程序、语义分析程序、代码生成程序等若干部件。这些部件可以用一个总的编译程序的编译程序的不同部分来生成，也可以分别用不同的专用生成程序来生成。这些专用生成程序包括词法分析程序的生成程序，语法分析程序的生成程序和代码生成程序的生成程序等。 词法今析租序的生成粗序接受以正则文法或其它类似文法描述的单词，构造一个有限状态自动机，由此生成一个词法分析程序。 语法介析程序的生成程序接受以上下文无关文法的形式描述的源语言的语法，生成一个语法分析程序。各种语法分析程序的生成程序随实现语言、语法分析算法的原理以及源程序中语法错误处理能力的不同而异。如采用LR的语法分析程序的生成程序YACC和采用递归下降法的语法分析程序的生成程序L比en。 语义分析程序、中间代码生成程序和目标代码生成程序的生成程序的设计与实现与形式化的语义描述紧密相关。语义描述形式化技术相当困难，目前大多数生成程序中语义描述还是采用非形式化，它们的基本思想是为源语言的上下文无关文法的语法符号或产生式配以翻译子程序(语义动作或语义子程序)。 现有不少性能很好的编译程序的编译程序，如词法分析程序的生成程序LEX，语法分析程序的生成程序yACC和LLgen，它们都显著提高了编译程序的开发效率。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条