Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie (2. Aufl.)