{"product_id":"automatentheorie-und-logik-9783642180897","title":"Automatentheorie Und Logik","description":"\u003cp\u003e • Author(s): Martin Hofmann | Martin Lange\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eDas 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. \u003c\/p\u003e\u003cp\u003eDie 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. \u003c\/p\u003e\u003cp\u003eJeder 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. \u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47602701205655,"sku":"9783642180897","price":2265.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783642180897.webp?v=1775012490","url":"https:\/\/atlanticbooks.com\/products\/automatentheorie-und-logik-9783642180897","provider":"Atlantic Books","version":"1.0","type":"link"}