"Algebraic Structure Theory of Sequential Machines" - читать интересную книгу автора (Hartmanis J., Stearns R.E.)