Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)