Geef een high-level description voor een turing machine die checkt of een woord bestaat uit evenveel 0s als 1s.