A partir de la identificación de la función estado siguiente de las máquinas secuenciales lineales con el conjunto de funciones de GLn(Z2) y An(Z2) es posible tratar formalmente los problemas de codificación de estados internos para el caso de síntesis con elementos biestables J-K pudiendo establecer una generalización al caso de la síntesis con biestables z-Fivex. Los resultados teóricos obtenidos se aplican a la síntesis de contadores, utilizando módulos base para su implementación, lo cual supone una optimización tanto desde el punto de vista de diseño como de superficie ocupada. También se establece una comparación entre las dos estructuras estudiadas.Starting from the identification of the next state function of linear sequential machines through the set of functions of GLn(Z2) and An(Z2)' it is possible to treat formally the problems of internal state coding for the case of synthesis with J-K bi-stable elements being it possible to stablish a generalization to the case of synthesis with z-Fivex bi-stables. The theoretical results obtained are applied to the synthesis of counters, using basic moduli for its implementations, which means an optimization both from the viewpoint of desing as well as from that of occupied surface. A comparison is made between the two structures studied.