Die Theoretische Informatik ist älter als die Praktische, Angewandte oder Techni sche Informatik. Daher ist sie als wissenschaftliche Disziplin bereits weiter ausgebaut als andere Bereiche der Informatik, und ihre Ergebnisse sind schwerer zugänglich, da sie auf ein größeres und tieferes Fundament aufbauen. Stark verästelte Theorien tendieren dazu, sich als Selbstzweck aufzufassen und als l'art pour l'art betrieben zu werden. In der vorliegenden Einführung in die Theoretische Informatik begegnen wir dieser Gefahr, indem wir die Orientierung moderner Theorien an den Anwendun gen in den Mittelpunkt stellen. Schon Novalis (1772~ 1801) hat darauf hingewiesen, daß die Theorie häufig den Anwendungen vorauseilt: "Wenn die Theorie auf die Erfahrung warten sollte, so käme sie nie zustande. " Nicht immer sind die Anwendungen von Ergebnissen der Theoretischen Informatik so direkt zu sehen wie die Anwendungen anderer Zweige der Informatik. Dies gilt insbesondere für negative Resultate. Dabei sind deren Konsequenzen klar. Wenn wir beweisen, daß es bestimmte für die Praxis wünschenswerte Werkzeuge oder Algorithmen nicht geben kann, muß die unsinnige, weil hoffnungslose Arbeit an diesen Werkzeugen oder Algorithmen eingestellt und statt dessen die Suche nach bestmöglichen Auswegen begonnen werden. Andererseits sind positive Resultate nicht automatisch anwendungsorientiert. Exi stenzaussagen oder Algorithmen mit exponentieller oder noch größerer Laufzeit sind häufig praktisch wertlos. Das Neue an der vorliegenden Einführung in die Theore tische Informatik ist die konsequent algorithmenorientierte Sichtweise (zum didak tischen Hintergrund siehe Wegener (1992)). Stets wurde bei positiven Resultaten eine Umsetzung in praktisch und theoretisch effiziente Algorithmen angestrebt.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
1 Einleitung.- 2 Turingmaschinen, Churchsche These und Entscheidbarkeit.- 2.1 Registermaschinen und deterministische Turingmaschinen.- 2.2 Techniken zur Programmierung von Turingmaschinen.- 2.3 Simulationen zwischen Turingmaschinen und Registermaschinen.- 2.4 Universelle Turingmaschinen.- 2.5 Die Churchsche These.- 2.6 Die Unentscheidbarkeit des Halteproblems.- 2.7 Eigenschaften rekursiver und rekursiv aufzählbarer Sprachen.- 2.8 Die Unentscheidbarkeit des Postschen Korrespondenzproblems.- Übungen.- 3 Die NP-Vollständigkeitstheorie.- 3.1 Die Klasse P.- 3.2 Nichtdeterministische Turingmaschinen und die Klasse NP.- 3.3 NP-Vollständigkeit.- 3.4 Die NP-Vollständigkeit wichtiger Probleme.- 3.5 Pseudopolynomielle Algorithmen und starke NP-Vollständigkeit.- 3.6 Turing- Reduzierbar keit, NP-harte, NP-leichte und NP-äquivalente Probleme.- 3.7 Eine Komplexitätstheorie für Approximationsalgorithmen.- 3.8 Eine Komplexitätstheorie für probabilistische Algorithmen.- 3.9 Die Struktur von NP und die polynomielle Hierarchie.- Übungen.- 4 Endliche Automaten.- 4.1 Schaltwerke und endliche Automaten.- 4.2 Die Minimierung endlicher Automaten.- 4.3 Das Pumping-Lemma für endliche Automaten.- 4.4 Nichtdeterministische endliche Automaten.- 4.5 Zwei-Wege Automaten.- 4.6 Effiziente Algorithmen für die Konstruktion endlicher Automaten und die Entscheidung von Eigenschaften regulärer Sprachen.- Übungen.- 5 Grammatiken, die Chomsky-Hierarchie und das Wortproblem.- 5.1 Grammatiken und die Chomsky-Hierarchie.- 5.2 Chomsky-0-Grammatiken und rekursiv aufzählbare Sprachen.- 5.3 Chomsky-3-Grammatiken, reguläre Sprachen und Ausdrücke, lexikalische Analyse.- 5.4 Kontextsensitive Grammatiken und Sprachen.- Übungen.- 6 Kontextfreie Grammatiken und Sprachen.- 6.1 Beispiele kontextfreier Sprachen und Syntaxbäume.- 6.2 Die Chomsky-Normalform für kontextfreie Grammatiken.- 6.3 Der Cocke-Younger-Kasami Algorithmus.- 6.4 Das Pumping-Lemma und Ogden’s Lemma für kontextfreie Sprachen.- 6.5 Effiziente Algorithmen für die Konstruktion kontextfreier Grammatiken und die Entscheidung von Eigenschaften kontextfreier Sprachen.- 6.6 Unentscheidbare Probleme.- 6.7 Eine inhärent mehrdeutige kontextfreie Sprache.- Übungen.- 7 Kellerautomaten und kontextfreie Sprachen.- 7.1 Die Greibach-Normalform für kontextfreie Grammatiken.- 7.2 Kellerautomaten.- 7.3 Kellerautomaten und kontextfreie Sprachen.- 7.4 Weitere effiziente Algorithmen im Zusammenhang mit kontextfreien Sprachen.- Übungen.- 8 Deterministisch kontextfreie Sprachen.- 8.1 Deterministische Kellerautomaten.- 8.2 Bottom-up Syntaxanalysealgorithmen.- 8.3 Eine weitere Charakterisierung von LR(k)-Grammatiken.- 8.4 Die Konstruktion eines LR(k)-Parsers.- 8.5 Deterministische Kellerautomaten und LR(k)-Grammatiken.- Übungen.- 9 Zusammenfassung und Testfragen.- 9.1 Zusammenfassung.- 9.2 Testfragen.- Schriftenverzeichnis.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Spese di spedizione:
EUR 16,00
Da: Germania a: U.S.A.
Spese di spedizione:
EUR 2,37
In U.S.A.
Da: Antiquariat Bookfarm, Löbnitz, Germania
Softcover. 1993. 238 Seiten Ehem. Bibliotheksex. m. Stempel und Rückensign. Vereinzelte kleinere Anstreichungen und Marginalien möglich. Gutes Arbeitsexemplar. 9783519021230 Sprache: Deutsch Gewicht in Gramm: 381. Codice articolo 1098103
Quantità: 1 disponibili
Da: alt-saarbrücker antiquariat g.w.melling, Saarbrücken, Germania
Paperback. Condizione: Wie neu. gross oktav paperback. neuwertiges exemplar. ungelesen + tadellos; IX, 235 seiten; broschur; reihe: leitfäden und monographien der informatik. 530 Gramm. Codice articolo 054697
Quantità: 1 disponibili
Da: Book Deals, Tucson, AZ, U.S.A.
Condizione: Good. Good condition. This is the average used book, that has all pages or leaves present, but may include writing. Book may be ex-library with stamps and stickers. 0.84. Codice articolo 353-3519021234-gdd
Quantità: 1 disponibili
Da: Celler Versandantiquariat, Eicklingen, Germania
Teubner, Stuttgart, 1993. 236 S., kart., (Einband etwas fleckig)---- Aus der Reihe: Leitfäden und Monographien der Informatik / Herausgegeben von unter anderem Prof. Dr. Hans-Jürgen Appelrath und Prof. Dr. Klaus Waldschmidt - 750 Gramm. Codice articolo 2L1976
Quantità: 1 disponibili
Da: Buchpark, Trebbin, Germania
Condizione: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand.1993. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 238 | Sprache: Deutsch | Produktart: Bücher. Codice articolo 24980482/202
Quantità: 3 disponibili
Da: Buchpark, Trebbin, Germania
Condizione: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren.1993. Außen: verschmutzt, angestoßen. Innen: Seiten vergilbt. | Seiten: 238 | Sprache: Deutsch | Produktart: Bücher. Codice articolo 24980482/3
Quantità: 3 disponibili
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: New. Codice articolo 20391525-n
Quantità: 5 disponibili
Da: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condizione: new. Codice articolo 9783519021230
Quantità: 10 disponibili
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: As New. Unread book in perfect condition. Codice articolo 20391525
Quantità: 5 disponibili
Da: Ria Christie Collections, Uxbridge, Regno Unito
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9783519021230_lsuk
Quantità: Più di 20 disponibili