12v -> 5v input on Digital/Analog pins?

I have some switches that output 12v, which I need to connect to the arduino input pins.

Is a 1A Positive Fixed Voltage Regulator,
Part: TS7805CZ
Output voltage: 5V
Line regulation: 3mV

suitable for this?

Use a 4.7k or so resistor and a 5.1V zener.

Or a potential divider, using two resistors.

Or a 4K7 series resistor and a diode to the +5V line.