Decompositional method for coding the states of a parallel automaton