States 1,2,3 have a loop on A's
States 4,5,6,7 form a loop on A's
The path to states 1 and 4 from 0 are indistinguishable.
It is necessary to repeat the loops for the number of A's to align.
All other transitions will indentify whether the first transition
was 0 to 1 or 0 to 4.