Doubled parentheses mark accepting states.
There's a backward arc from 0 to itself, a backward arc from 3 to itself, a cross-arc from 3 to 1, a backward arc from 1 to 2, and a backward arc from 1 to 0. There's a backward arc from 0 to itself, a forward arc from 2 to 1, a backward arc from 3 to itself, a backward arc from 1 to 2, and a backward arc from 1 to 0. Remember ML tests from the top until it finds a match.