"Теория автоматов и формальных языков" - читать интересную книгу автора (Захаров В.А.)