coal cutter

noun

1.
(mining) a machine for undercutting a coal seam.