Automatentheorie und Logik.pdf

Automatentheorie und Logik PDF

Martin Hofmann, Martin Lange

Das Buch beschäftigt sich mit der Theorie endlicher Automaten und den klassischen Resultaten wie den Sätzen von Richard Büchi und Michael Rabin. Die vier Teile des Buchs sind den unterschiedlichen Strukturen gewidmet: endliche Wörter, Bäume, endliche und unendliche Bäume. Jeder Teil endet mit Übungsaufgaben zum behandelten Stoff sowie Hinweisen auf weiterführende Literatur. Soweit Vorkenntnisse zur Theorie formaler Sprachen vorhanden sind, kann das Buch ohne weitere Hilfsmittel durchgearbeitet werden.

Entscheidbarkeit. Transduktoren. Chomsky hierarchy and NL. Chomsky- Hierarchie & Automaten. Wiebke Petersen. Automatentheorie und formale Sprachen - ...

3.85 MB DATEIGRÖSSE
9783642180897 ISBN
Automatentheorie und Logik.pdf

Technik

PC und Mac

Lesen Sie das eBook direkt nach dem Herunterladen über "Jetzt lesen" im Browser, oder mit der kostenlosen Lesesoftware Adobe Digital Editions.

iOS & Android

Für Tablets und Smartphones: Unsere Gratis tolino Lese-App

Andere eBook Reader

Laden Sie das eBook direkt auf dem Reader im www.brookfieldgardencentre.com.au Shop herunter oder übertragen Sie es mit der kostenlosen Software Sony READER FOR PC/Mac oder Adobe Digital Editions.

Reader

Öffnen Sie das eBook nach der automatischen Synchronisation auf dem Reader oder übertragen Sie es manuell auf Ihr tolino Gerät mit der kostenlosen Software Adobe Digital Editions.

Aktuelle Bewertungen

avatar
Sofya Voigtuh

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. Automatentheorie und Logik (eXamen.press): Amazon.de ...

avatar
Mattio Müllers

Geschichte der theoretischen Informatik

avatar
Noels Schulzen

Students can apply propositional logic as well as predicate logic resolution to a given set of formulas. Students analyze application problems in order to derive propositional logic, predicate logic, or temporal logic formulas to represent them. They can evaluate which formalism is best suited for a particular application problem, and they can

avatar
Jason Leghmann

Automatentheorie Automaten sind abstrakte Programme mit denen Theoreme untersucht werden können. Wichtige Schlagworte: Zustand, Eingangsalphabet, Zustandsübergangstabelle, Endzustand, (nicht) deterministisch. Logik und diskrete Strukturen [Informatik-Abteilung 1]

avatar
Jessica Kolhmann

Ihre Inhalte sind Automatentheorie, Theorie der formalen Sprachen, ... aber auch Logik und formale Semantik sowie die Informations-, Algorithmen- und ... ... Systeme, die Theorie der Formalen Sprachen und die Logik in der Informatik. ... Automatentheorie und Formale Sprachen für den Studiengang „Angewandte ...