Book:Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie