"Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie" - читать интересную книгу автора (Hopcroft John E, Ullman Jeffrey D)