They're called "Hall effect sensors." Transducers that switch by sensing a magnetic field. No contact necessary. Don't remember for sure, but I think the machine is 12V. They generally operate at 6-36VDC.
https://en.wikipedia.org/wiki/Hall_effect_sensor
Mike