Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Automatentheorie und Logik

BuchKartoniert, Paperback
238 Seiten
Deutsch
Springererschienen am15.03.20112011
Das Buch beschäftigt sich mit der Theorie endlicher Automaten auf endlichen und unendlichen Wörtern sowie Bäumen. 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.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR32,99
E-BookPDF1 - PDF WatermarkE-Book
EUR22,47

Produkt

KlappentextDas Buch beschäftigt sich mit der Theorie endlicher Automaten auf endlichen und unendlichen Wörtern sowie Bäumen. 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.
Zusammenfassung
Enthält über 100 Übungsaufgaben

Enthält viele Verweise auf weiterführende Literatur

Behandelt klassische Resultate der Automatentheorie mit modernen Methoden

Includes supplementary material: sn.pub/extras
Details
ISBN/GTIN978-3-642-18089-7
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2011
Erscheinungsdatum15.03.2011
Auflage2011
ReiheeXamen.press
Seiten238 Seiten
SpracheDeutsch
Gewicht386 g
IllustrationenX, 238 S. 42 Abb.
Artikel-Nr.10342466

Inhalt/Kritik

Inhaltsverzeichnis
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.mehr
Kritik
mehr

Autor

Prof. Dr. Martin Lange, lehrt an der Universität Kassel, Fachbereich Elektronik/Informatik, Germany

Prof. Dr. Martin Hofmann, lehrt an der Ludwig-Maximilians-Universität München, Institut für Informatik, Theoretische Informatik, Germany