hola:
no es que sean múltiplos de 3, pero tal vez te confunda porque todo el lenguaje está en función del resultado "mod 3". los resultados posibles de esa operación son 0, 1 y 2 (las aes del comienzo), que se analizan a partir de los estados q3, q6 y q2 respectivamente, la cantidad de bes tiene que ser, entonces, un múltiplo de 3, múltiplo de 3 más 1, múltiplo de tres más dos (para que k verifique el respectivo valor del módulo dado por las aes del comienzo).
saludos,
d.-