程序归约的英文

• program reduction

• "程序"英文翻译    procedure
• "归约"英文翻译    reduced; reduction
• "程序归纳" 英文翻译 :    induction of program
• "归约程序" 英文翻译 :    reduction program
• "图归约程序" 英文翻译 :    graph reducer
• "归约" 英文翻译 :    reduced; reduction◇归约公式 formula of reduction; reduction formula; 归约式 reductions; 归约算法 reduction; algorithm; 归约证明 proof by reduction
• "归约规则程序的解释" 英文翻译 :    interpretation of a reduction rule program
• "归约规则的解释程序" 英文翻译 :    interpreter for reduction rules
• "逆序归纳法" 英文翻译 :    backward induction
• "前序归并" 英文翻译 :    preorder merge
• "串归约" 英文翻译 :    string reduction
• "归约机" 英文翻译 :    reduced machine; reduction machine
• "归约式" 英文翻译 :    reductions
• "图归约" 英文翻译 :    graph reduction
• "栈归约" 英文翻译 :    stack reduction
• "立即归约归约器" 英文翻译 :    immediate reduction reducer
• "串式归约机" 英文翻译 :    string-oriented reduction machine
• "范数归约法" 英文翻译 :    norm reducing method
• "归约操作" 英文翻译 :    reduce operation; reduced operation; reduction operation
• "归约定理" 英文翻译 :    deduction theorem
• "归约动作" 英文翻译 :    reduce action
• "归约方案" 英文翻译 :    reduction scheme
• "归约公式" 英文翻译 :    reduction formula
• "归约关系" 英文翻译 :    reduction relation
• "归约计算机" 英文翻译 :    reduction computer