Brauer, Wilfried Automatentheorie: Eine Einführung in die Theorie endlicher Automaten (Leitfäden und Monographien der Informatik)

'Automatentheorie: Eine Einführung in die Theorie endlicher Automaten' von Wilfried Brauer ist ein grundlegendes Werk, das sich mit der Theorie und Anwendung endlicher Automaten beschäftigt. Das Buch bietet eine umfassende Einführung in die Automatentheorie, einem zentralen Thema der theoretischen Informatik. Es behandelt die mathematischen Grundlagen und Konzepte von Automaten, einschließlich deterministischer und nichtdeterministischer Modelle. Zudem werden reguläre Sprachen und ihre Eigenschaften ausführlich erklärt. Brauer legt besonderen Wert auf die formale Darstellung und Beweisführung, um den Lesern ein tiefes Verständnis der Materie zu vermitteln. Das Buch richtet sich an Studierende der Informatik sowie an Fachleute, die ihr Wissen über theoretische Konzepte erweitern möchten. Durch zahlreiche Beispiele und Übungen wird das Gelernte gefestigt und praxisnah veranschaulicht.