The Collaborative International Dictionary
Punch \Punch\, v. t. [imp. & p. p. Punched; p. pr. & vb. n. Punching.] [From Punch, n., a tool; cf. F. poin[,c]onner.] To perforate or stamp with an instrument by pressure, or a blow; as, to punch a hole; to punch ticket.
Punching machine, or Punching press, a machine tool for punching holes in metal or other material; -- called also punch press.
WordNet
n. a power driven press used to shape metal parts
Wikipedia
A punch press is a type of machine press used to cut holes in material. It can be small and manually operated and hold one simple die set, or be very large, CNC operated, with a multi-station turret and hold a much larger and complex die set.
Usage examples of "punch press".
The latter swerved, collided with a massive punch press, one of whose piston-like members stabbed through the side of a ponderous masonry-wrecker.
Being a punch press operator in London-if you can get to be a punch press operator at all-isn't any better than being one in Trenton, New Jersey.
I entered the copper shop from the front, kept on back toward the punch press the white boy operated.
This was followed by a punch press to cut the floors to length and shape the ends to be welded to the tunnel walls.
He nodded his agreement, and a moment later she had wheeled him under a large device that looked like a cross between a punch press and an oversized camera.