Give a pushdown automaton (PDA) recognizing each of the following languages over = {0, 1}:

a. {w : the number of 0s is less than the number of 1s}

b. {w : the number of 0s is twice the number of 1s}