Algebraic structure theory of sequential machines (Prentice-