Das Buch besch ftigt sich mit der Theorie endlicher Automaten und den klassischen Resultaten wie den S tzen von Richard B chi und Michael Rabin. Die vier Teile des Buchs sind den unterschiedlichen Strukturen gewidmet: endliche W rter, B ume, endliche und unendliche B ume. Jeder Teil endet mit bungsaufgaben zum behandelten Stoff sowie Hinweisen auf weiterf hrende Literatur. Soweit Vorkenntnisse zur Theorie formaler Sprachen vorhanden sind, kann...