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 Worter, Baume, endliche und
unendliche Baume. Jeder Teil endet mit Ubungsaufgaben zum
behandelten Stoff sowie Hinweisen auf weiterfuhrende Literatur.
Soweit Vorkenntnisse zur Theorie formaler Sprachen vorhanden sind,
kann das Buch ohne weitere Hilfsmittel durchgearbeitet werden.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!