Automatentheorie Und Logik

Das Buch beschaftigt sich mit der Theorie endlicher Automaten und den klassischen Resultaten wie den Satzen von Richard Buchi und Michael Rabin. Die vier Teile des Buchs sind den unterschiedlichen Strukturen gewidmet: endliche Woerter, Baume, endliche und unendliche Baume. Jeder Teil endet mit UEbungsaufgaben zum behandelten Stoff sowie Hinweisen auf weiterfuhrende Literatur. Soweit Vorkenntnisse zur Theorie formaler Sprachen vorhanden sind, kann das Buch ohne weitere Hilfsmittel durchgearbeitet werden.