"Algebraic automata theory" - читать интересную книгу автора (M. Holcombe)