Automatentheorie und Logik free ebook download.

Home : Book details

Automatentheorie und Logik free ebook download

Category:
Mathematics

Views: 116
Likes: 227

Catalogue

Author(s):	tomatentheorie und Logik By Martin Hofmann, Martin Lange (auth.)

Date:	2019	Format:	PDF	Language:	English	ISBN/ASIN:	3642180892
Pages:	1	OCR:		Quality:		ISBN13:
Uploader:	alex21s	Upload Date:	7/11/2019 3:57:03 PM

To download click on link in the Links Table below

Description: Click to see full description

Das Buch beschftigt sich mit der Theorie endlicher Automaten auf endlichen und unendlichen Wrtern sowie Bumen. Es behandelt klassische Resultate wie die Stze von Bchi 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 Wrter. Der Zweite die Theorie auf den Bereich der Bume auszudehnen. Der dritte Teil beschftigt sich kurz mit endlichen Bumen. Im vierten Teil geht es dann um Automatentheorie und Logik ber unendliche Bume.Jeder Teil endet mit Vorschlgen fr bungsaufgaben zu dem behandelten Stoff, sowie Notizen, welche auf weiterfhrende Literatur verweisen oder die Herkunft von prsentierten Resultaten erklren. Das Buch ist an sich ein geschlossenes Werk, welches mit den bereits erwhnten Vorkenntnissen zur Theorie formaler Sprachen und zunchst ohne weitere Hilfsmittel durchgearbeitet werden kann.

Links Table

	Title	Link	Password	Size (MB)	Thank to	Inform Admin
2531063	Book	http://k2s.cc/file/53900646bf70c...		3.00	alex21s

Tags: Logik

Title	Link	Password	Size	Reason

Those who downloaded this book also downloaded the following books:
Comments

New comment: