The machine used to mine slate is called a slate cutter or a slate mining machine. It is a large and heavy machine that is specifically designed for mining slate from quarries or mines. The machine has various cutting components that can be adjusted depending on the desired size and thickness of the slate being mined. It works by cutting away large blocks of slate from the quarry face and then processing them into smaller, more manageable pieces for use in construction and other industries.