- 239 Seiten
- German
- PDF
- Über iOS und Android verfügbar
eBook - PDF
Über dieses Buch
Das Lehrbuch enthält die wesentlichen Grundzüge der Theoretischen Informatik. Es gibt eine verständliche Einführung in die Gebiete Berechenbarkeits-, Automatentheorie, Formale Sprachen und Komplexitätstheorie. Alle Zusammenhänge sind verständlich bewiesen und durch Beispiele untermauert. Von praktischer Bedeutung sind Untersuchungen zur Existenz von nicht entscheidbaren und nicht effizient lösbaren Problemen. Es erfolgt eine Einführung in die Theorie der NP-Vollständigkeit mit Beispielen. Eine Vielzahl von Übungsaufgaben, sämtlich mit ausführlichen Lösungen, die zum Selbsttest wie auch zur Vorbereitung auf den studentischen Übungsbetrieb geeignet sind.
Häufig gestellte Fragen
Ja, du kannst dein Abo jederzeit über den Tab Abo in deinen Kontoeinstellungen auf der Perlego-Website kündigen. Dein Abo bleibt bis zum Ende deines aktuellen Abrechnungszeitraums aktiv. Erfahre, wie du dein Abo kündigen kannst.
Derzeit stehen all unsere auf mobile Endgeräte reagierenden ePub-Bücher zum Download über die App zur Verfügung. Die meisten unserer PDFs stehen ebenfalls zum Download bereit; wir arbeiten daran, auch die übrigen PDFs zum Download anzubieten, bei denen dies aktuell noch nicht möglich ist. Weitere Informationen hier.
Perlego bietet zwei Pläne an: Elementar and Erweitert
- Elementar ist ideal für Lernende und Interessierte, die gerne eine Vielzahl von Themen erkunden. Greife auf die Elementar-Bibliothek mit über 800.000 professionellen Titeln und Bestsellern aus den Bereichen Wirtschaft, Persönlichkeitsentwicklung und Geisteswissenschaften zu. Mit unbegrenzter Lesezeit und Standard-Vorlesefunktion.
- Erweitert: Perfekt für Fortgeschrittene Studenten und Akademiker, die uneingeschränkten Zugriff benötigen. Schalte über 1,4 Mio. Bücher in Hunderten von Fachgebieten frei. Der Erweitert-Plan enthält außerdem fortgeschrittene Funktionen wie Premium Read Aloud und Research Assistant.
Wir sind ein Online-Abodienst für Lehrbücher, bei dem du für weniger als den Preis eines einzelnen Buches pro Monat Zugang zu einer ganzen Online-Bibliothek erhältst. Mit über 1 Million Büchern zu über 1.000 verschiedenen Themen haben wir bestimmt alles, was du brauchst! Weitere Informationen hier.
Achte auf das Symbol zum Vorlesen in deinem nächsten Buch, um zu sehen, ob du es dir auch anhören kannst. Bei diesem Tool wird dir Text laut vorgelesen, wobei der Text beim Vorlesen auch grafisch hervorgehoben wird. Du kannst das Vorlesen jederzeit anhalten, beschleunigen und verlangsamen. Weitere Informationen hier.
Ja! Du kannst die Perlego-App sowohl auf iOS- als auch auf Android-Geräten verwenden, um jederzeit und überall zu lesen – sogar offline. Perfekt für den Weg zur Arbeit oder wenn du unterwegs bist.
Bitte beachte, dass wir keine Geräte unterstützen können, die mit iOS 13 oder Android 7 oder früheren Versionen laufen. Lerne mehr über die Nutzung der App.
Bitte beachte, dass wir keine Geräte unterstützen können, die mit iOS 13 oder Android 7 oder früheren Versionen laufen. Lerne mehr über die Nutzung der App.
Ja, du hast Zugang zu Theoretische Informatik von Renate Winter im PDF- und/oder ePub-Format sowie zu anderen beliebten Büchern aus Ciencia de la computación & Ciencias computacionales general. Aus unserem Katalog stehen dir über 1 Million Bücher zur Verfügung.
Information
Inhaltsverzeichnis
- Vorwort
- 1 Einleitung – Wesen der Theoretischen Informatik
- 1.1 Aufgaben
- 2 Berechenbarkeitstheorie
- 2.1 Einführung zum Berechenbarkeitsbegriff
- 2.2 Arten von Nichtberechenbarkeit
- 2.3 Die Turingmaschine
- 2.3.1 Begriff und Arbeitsweise einer Turingmaschine
- 2.3.2 Modifizierte Definitionen von Turingmaschinen
- 2.4 Aufzählbarkeit, Entscheidbarkeit und Berechenbarkeit
- 2.5 Nichtdeterministische Turingmaschinen
- 2.6 Markow- und Post-Algorithmen
- 2.6.1 Vergleich: Markow- und Post-Algorithmus
- 2.7 Rekursive Funktionen
- 2.7.1 Primitiv rekursive Funktionen
- 2.7.2 Die Ackermann-Funktion
- 2.7.3 µ-rekursive Funktionen
- 2.8 Der Hauptsatz der Algorithmentheorie
- 2.9 Registermaschinen
- 2.10 Nichtentscheidbarkeit und Nichtberechenbarkeit
- 2.10.1 Nichtentscheidbare Probleme und der Satz von Rice
- 2.10.2 Die Fleißiger-Biber-Funktion
- 2.11 Zur Universalität von Turingmaschinen
- 2.12 Theorie der rekursiven Funktionen - Einführung
- 2.13 Aufgaben
- 3 Abstrakte Automaten
- 3.1 Der Begriff des abstrakten Automaten und Automatenarten
- 3.2 Die Arbeitsweise von Mealy-Automaten
- 3.3 Endliche Akzeptoren und Potenzmengenkonstruktion
- 3.4 Reguläre Mengen und Hauptsatz von Kleene
- 3.4.1 Verfahren von Gluschkow
- 3.5 Das Pumping-Lemma für reguläre Sprachen
- 3.6 Der Satz von Nerode
- 3.7 Minimierung endlicher Automaten
- 3.8 Anwendungen für endliche Automaten
- 3.9 Deterministische und nichtdeterministische Push-Down-Automaten
- 3.10 Linear-beschränkte Automaten
- 3.11 Hierarchie der Automatentypen
- 3.12 Aufgaben
- 4 Formale Sprachen
- 4.1 Sprachen und Grammatiken
- 4.2 Grammatiken zur Erzeugung formaler Sprachen
- 4.3 Chomsky-Normalform kontextfreier Grammatiken, Pumping-Lemma
- 4.4 Chomsky-Hierarchie formaler Sprachen
- 4.5 Sprachklassen und Automatentypen
- 4.6 Abgeschlossenheitseigenschaften von Sprachklassen
- 4.7 Deterministisch-kontextfreie Sprachen
- 4.8 Wortprobleme bei Sprachklassen. Der CYK-Algorithmus
- 4.9 Hierarchie von Sprachfamilien und Automatentypen
- 4.10 Aufgaben
- 5 Komplexitätstheorie
- 5.1 Einführung und Komplexitätsschranken
- 5.2 Zeit- und Bandkomplexität bei Turingmaschinen
- 5.3 Komplexität bei Mehrband-Turingmaschinen und bei RAM’s
- 5.4 Die Klassen P und NP. NP-Vollständigkeit
- 5.5 Der Satz von Cook
- 5.6 NP-vollständige Probleme 3SAT und CLIQUE
- 5.7 Probleme jenseits von NP
- 5.8 Einordnung der Klassen P, NP und PSPACE in die Chomsky-Hierarchie
- 5.9 Aufgaben
- 6 Zusammenfassung und Schlussfolgerungen
- 7 Lösungsvorschläge
- Literatur
- Index