Automatentheorie und Logik (eXamen.press)

Automatentheorie und Logik (eXamen.press)

by Martin Hofmann (Author), Martin Lange (Contributor), Martin Lange (Contributor), Martin Hofmann (Author)

Synopsis

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 das Buch ohne weitere Hilfsmittel durchgearbeitet werden.

$34.64

Save:$0.93 (3%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 252
Edition: 2011
Publisher: Springer
Published: 14 Mar 2011

ISBN 10: 3642180892
ISBN 13: 9783642180897

Media Reviews

From the reviews:

It is self-contained with respect to automata theory in that all necessary notions and results from an elementary course in automata and formal language theory are compiled in the first chapter in order to give a coherent account of the subject. ... A subject index and a good list of references complete the book. This is a very good advanced textbook. It has a high standard, is written with mathematical rigour, and is ... very clear in its exposition. (Klaus D. Kiermeier, Zentralblatt MATH, Vol. 1257, 2013)
Author Bio

Prof. Dr. Martin Lange, lehrt an der Universit t Kassel, Fachbereich Elektronik/Informatik, Germany

Prof. Dr. Martin Hofmann, lehrt an der Ludwig-Maximilians-Universit t M nchen, Institut f r Informatik, Theoretische Informatik, Germany