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. ...
Read More
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.
Read Less
Add this copy of Automatentheorie und Logik to cart. $32.87, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2011 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
2011, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Add this copy of Automatentheorie und Logik to cart. $36.79, new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2011 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
2011, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
2011
Language:
German
Alibris ID:
17987351144
Shipping Options:
Standard Shipping: $4.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Text in German. Contains: Illustrations, black & white. eXamen.press . X, 238 S. 42 Abb. Intended for professional and scholarly audience. Language: German-In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.