根据计算机所用归约方式的不同，有____和____两类。