Automatentheorie Und Logik [German]

By Martin Lange and Martin Hofmann

Das Buch besch ftigt sich mit der Theorie endlicher Automaten auf endlichen und unendlichen W rtern sowie B umen. Es behandelt klassische Resultate wie die S tze von B chi und Rabin, die zeigen, wie sich monadische Logiken 2. Stufe auf diesen Strukturen mithilfe dieser Automatentheorie entscheiden lassen.

Die einzelnen Kapitel sind in vier Teile zusammengefasst. Diese unterscheiden sich in den Strukturen, ber denen jeweils Automatentheorie und Logik betrieben wird. Der erste Teil behandelt endliche W rter. Der Zweite die Theorie auf den Bereich der B ume auszudehnen. Der dritte Teil besch ftigt sich kurz mit endlichen B umen. Im vierten Teil geht es dann um Automatentheorie und Logik ber unendliche B ume.

Jeder Teil endet mit Vorschl gen f r bungsaufgaben zu dem behandelten Stoff, sowie Notizen, welche auf weiterf hrende Literatur verweisen oder die Herkunft von pr sentierten Resultaten erkl ren. Das Buch ist an sich ein geschlossenes Werk, welches mit den bereits erw hnten Vorkenntnissen zur Theorie formaler Sprachen und zun chst ohne weitere Hilfsmittel durchgearbeitet werden kann.

• Format: Paperback
• Language: German
• ISBN: 3642180892
• ISBN13: 9783642180897
• Release Date: March 2011
• Publisher: Springer
• Length: 238 Pages
• Weight: 0.79 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"