A crusher is a machine designed to reduce large rocks into smaller rocks gravel or rock dust Crushers may be used to reduce the size or change the form of waste Throughout most of industrial history the greater part of crushing and mining part of the with its plentiful coal mines water power and nearby ore supplies