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