A将算法用某种程序设计语言恰当地表示出来B证明算法对所有可能的合法出入都能算出正确的