It isn't sufficient to know whether or not the number of as is divisible by 3 (and the number of bs similarly): you need to know the number of as and bs mod 3. But it's still a finite amount of information: there are two parameters we have to keep track of, each of which can have one of three values. as far as we are concerned in this situation, you and I, there are only nine states.
Back to notes