"Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)" - читать интересную книгу автора (Juris Hartmanis)