Tipos de rectificado de teoría de máquinas