Macchina di Turing: dimostratore meccanico - Luneidea