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.
Wikipedia
A punching machine is a machine tool for punching.
Usage examples of "punching machine".
Roberts added a useful companion to the Jacquard punching machine, in his combined self-acting machine for shearing iron and punching both webs of angle or T iron simultaneously to any required pitch.
He drops the hot cards into the hopper of a card punching machine, sits down at the keyboard, and clips the first intercept sheet up in front of him.
Almonte was flailing with his fists, a veritable punching machine, keeping attackers at bay.