2. Give the state machine descriptions for Turing machines that recognize the following languages (a) {w|w contains twice as many Os as 1s} (b) {w|w does not contain twice as many Os as 1s}