以下关于算理和算法的表述正确的有（）。

A.算法是算理的具体化

B.算法以算理为理论依据

C.算法即计算方法，具有多样性的特点

D.算理与算法是相互独立的两个部分

刃磨高速钢梯形螺纹精车刀后，用油石加机油研磨前、后刀面至刃口平直，刀面光洁（）为止。

A．平滑

B．无划伤

C．无蹦刃

D．无磨痕