Punching machine , ∨ Punching press Meaning, Definition & Usage

Definitions
  1. a machine tool for punching holes in metal or other material; called also punch press.

Webster 1913