主范式的英文

• principal normal form

• "主"英文翻译    host
• "范式"英文翻译    canonical form; normal form
• "范式" 英文翻译 :    canonical form; normal form
• "主范畴" 英文翻译 :    fundamental category
• "主范数" 英文翻译 :    principal norm
• "宿主范围" 英文翻译 :    host range; host-spectrum
• "beta范式" 英文翻译 :    beta normal form
• "greibach范式" 英文翻译 :    greibach normal form
• "kuroda范式" 英文翻译 :    kuroda normal form
• "skolem范式" 英文翻译 :    skolem normal form
• "典范式" 英文翻译 :    canonical expression; canonical form
• "核范式" 英文翻译 :    kernel normal form
• "前范式" 英文翻译 :    pre-paradigm
• "新范式" 英文翻译 :    new paradigm
• "定量宿主范围" 英文翻译 :    quantitative host range
• "宿主范围基因" 英文翻译 :    host range gene
• "诱从范式诱从范式" 英文翻译 :    induced compliance paradigm
• "巴科斯范式" 英文翻译 :    backus normal form; bnf
• "巴克斯范式" 英文翻译 :    bnf
• "彼得森范式" 英文翻译 :    brown-peterson paradigm
• "代数范式" 英文翻译 :    boolean function
• "等价范式法" 英文翻译 :    equivalent normal form method
• "第1范式" 英文翻译 :    first normal form 1nf; first normal form, 1nf
• "第2范式" 英文翻译 :    second normal form 2nf
• "第3范式" 英文翻译 :    third normal form 3nf; third normal form, 3nf

• Based on paper [ 1 ] and [ 2 ] , this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally
  摘要在文[ 1 ]和文[ 2 ]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。