Glossary of Mining Terms
Crusher — A machine for crushing rock or other materials. Among the various types of crushers are the ball mill, gyratory crusher, Handsel mill, hammer mill, jaw crusher, rod mill, rolls, stamp mill, and tube mill. Cutter; Cutting machine — A machine, usually used in coal, that will cut a 10 to 15cm slot. The slot allows room for expansion of the broken coal.