General decomposition of sequential machines by P.A. Konieczny