- Hauptmenü-

Katalogdatenanzeige

Automatentheorie und Logik

Kataloginformation Katalogdatensatz500160116 .

Kataloginformation
Feldname	Details
Vorliegende Sprache	ger
Hinweise auf parallele Ausgaben	339012102 Buchausg. u.d.T.: ‡Hofmann, Martin, 1965 - 2018: Automatentheorie und Logik
ISBN	978-3-642-18089-7
Name	Hofmann, Martin
Name	Lange, Martin
ANZEIGE DER KETTE	Lange, Martin
T I T E L	Automatentheorie und Logik
Verlagsort	Berlin, Heidelberg
Verlag	Springer-Verlag Berlin Heidelberg
Erscheinungsjahr	2011
Erscheinungsjahr	2011
Umfang	Online-Ressource (X, 238S, digital)
Reihe	eXamen.press
Notiz / Fußnoten	Includes bibliographical references and index
Weiterer Inhalt	T. 1. Endliche Wörter -- T. 2. Undendliche Wörter -- T. 3. Endliche Bäume -- T. 4. Unendliche Bäume.
Titelhinweis	Buchausg. u.d.T.: ‡Hofmann, Martin, 1965 - 2018: Automatentheorie und Logik
ISBN	ISBN 978-3-642-18090-3
Klassifikation	COM051010
	UYA
	MAT018000
	*68-01
	68-02
	03-01
	03B25
	03B44
	03B70
	03D05
	68Q45
	68Q60
	005.131
	004.015113
	QA8.9-QA10.3
	ST 136
	SK 130
	ST 130
Kurzbeschreibung	Teil I Endliche Wörter -- 1 Grundlagen der Theorie formaler Sprachen -- 2 Schwache, monadische Logik zweiter Stufe -- 3 Alternierende, endliche Automaten -- 4 Sternfreie Sprachen -- Teil II Unendliche Wörter -- 5 Automaten auf unendlichen Wörtern -- 6 Komplementierung von Büchi-Automaten -- 7 Weitere Akzeptanzbedingungen -- 8 Determinisierung von Büchiautomaten -- 9 Entscheidungsverfahren für !-Automaten -- !-Automaten -- 10 Alternierende Automaten -- 11 Linearzeit-Temporale Logik -- Teil III Endliche Bäume -- 12 Automaten auf endlichen Bäumen -- 13 Anwendungen -- Teil IV Unendliche Bäume -- 14 Automaten auf unendlichen Bäumen -- 15 Komplement-Abschluss und Leerheitsproblem -- 16 Logiken auf unendlichen Bäumen.
2. Kurzbeschreibung	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.
1. Schlagwortkette	Endlicher Automat
	Formale Sprache
	Wort <Informatik>
	Baum <Mathematik>
	Monadische Logik
1. Schlagwortkette ANZEIGE DER KETTE	Endlicher Automat -- Formale Sprache -- Wort -- Baum -- Monadische Logik
2. Schlagwortkette	Automatentheorie
2. Schlagwortkette	Logik
2. Schlagwortkette ANZEIGE DER KETTE	Automatentheorie -- Logik
3. Schlagwortkette	Endlicher Automat
	Formale Sprache
	Wort <Informatik>
	Baum <Mathematik>
	Monadische Logik
ANZEIGE DER KETTE	Endlicher Automat -- Formale Sprache -- Wort -- Baum -- Monadische Logik
SWB-Titel-Idn	339787007
Signatur	Springer E-Book
Bemerkungen	Elektronischer Volltext - Campuslizenz
Elektronische Adresse	$uhttp://dx.doi.org/10.1007/978-3-642-18090-3
Internetseite / Link	Volltext
Siehe auch	Volltext
Siehe auch	Inhaltsverzeichnis
Siehe auch	Einführung/Vorwort
Siehe auch	Inhaltstext

ISBD-Anzeige Katalogdatensatz500160116

Kategorien-Anzeige Katalogdatensatz500160116

Titel zur Titelsammlung hinzufügen Katalogdatensatz500160116

Kataloginformation500160116 Datensatzanfang . Kataloginformation500160116 Seitenanfang .

Titel vormerken Katalogdatensatz500160116

Vollanzeige Katalogdaten

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.