1.  q0

2.  q1

3.  Each state has exactly two outgoing transitions: one for 0 and one
    for 1.  This *is* required for deterministic FSMs like the ones
    you will write for PS 10.

4.  q2. You won't always need a "black hole" state, but it's useful when:

      - the condition that you're using the FSM to test for can
        become unreachable (e.g., you're testing for strings with at most
        two 1s, and you have already seen three 1s)

      - once you attain the condition that you're testing for, any
        additional characters won't change that condition (e.g., you're
        testing for strings with at least two 1s, and you have already
        seen two 1s)

5.  accepted: 0, 00000
    not accepted: 10, 111