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.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
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.
Imprint | Springer-Verlag |
Country of origin | Germany |
Release date | March 2011 |
Availability | Expected to ship within 10 - 15 working days |
First published | March 2011 |
Authors | Martin Hofmann, Martin Lange |
Dimensions | 234 x 156 x 13mm (L x W x T) |
Format | Paperback - Trade |
Pages | 252 |
Edition | 2011 ed. |
ISBN-13 | 978-3-642-18089-7 |
Barcode | 9783642180897 |
Languages | value |
Subtitles | value |
Categories | |
LSN | 3-642-18089-2 |