Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit
Hopcroft, John E.
Wird für Sie besorgt.
Frontiers in Algorithmics