Verfügbarkeit: Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie

Gespeichert in:

Bibliographische Detailangaben
Titel:	Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie
Von:	John E. Hopcroft ; Rajeev Motwani ; Jeffrey D. Ullman
Person:	Hopcroft, John E. 1939- Verfasser aut Motwani, Rajeev Ullman, Jeffrey D. 1962-2009 1942-
Hauptverfassende:	Hopcroft, John E. 1939- (VerfasserIn), Motwani, Rajeev 1962-2009 (VerfasserIn), Ullman, Jeffrey D. 1942- (VerfasserIn)
Format:	Buch
Sprache:	Deutsch
Veröffentlicht:	München [u.a.] Pearson Studium 2003
Ausgabe:	2., überarb. Aufl., [Nachdr.]
Schriftenreihe:	i Informatik
Schlagworte:	Automatentheorie - Lehrbuch Formale Sprache - Lehrbuch Komplexitätstheorie - Lehrbuch Komplexitätstheorie Theoretische Informatik Formale Sprache Automatentheorie Berechenbarkeit Lehrbuch
Online-Zugang:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014763709&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Beschreibung:	Fälschlich als 2. Aufl. bezeichnet. - 2. Aufl. bezieht sich auf die Übers. der 2. engl. Ausg.
Beschreibung:	528 S. graph. Darst.
ISBN:	3827370205

Internformat

MARC


LEADER	00000nam a22000008c 4500
001	BV021547586
003	DE-604
005	20070411
007	t\|
008	060411s2003 xx d\|\|\| \|\|\|\| 00\|\|\| ger d
020			\|a 3827370205 \|9 3-8273-7020-5
035			\|a (OCoLC)253536692
035			\|a (DE-599)BVBBV021547586
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
049			\|a DE-898 \|a DE-19 \|a DE-863
082	0		\|a 511.3
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
084			\|a ST 136 \|0 (DE-625)143591: \|2 rvk
084			\|a DAT 500f \|2 stub
100	1		\|a Hopcroft, John E. \|d 1939- \|e Verfasser \|0 (DE-588)112071481 \|4 aut
240	1	0	\|a Introduction to automata theory, languages and computation
245	1	0	\|a Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie \|c John E. Hopcroft ; Rajeev Motwani ; Jeffrey D. Ullman
250			\|a 2., überarb. Aufl., [Nachdr.]
264		1	\|a München [u.a.] \|b Pearson Studium \|c 2003
300			\|a 528 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a i Informatik
500			\|a Fälschlich als 2. Aufl. bezeichnet. - 2. Aufl. bezieht sich auf die Übers. der 2. engl. Ausg.
650		4	\|a Automatentheorie - Lehrbuch
650		4	\|a Formale Sprache - Lehrbuch
650		4	\|a Komplexitätstheorie - Lehrbuch
650	0	7	\|a Komplexitätstheorie \|0 (DE-588)4120591-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Sprache \|0 (DE-588)4017848-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Automatentheorie \|0 (DE-588)4003953-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Berechenbarkeit \|0 (DE-588)4138368-0 \|2 gnd \|9 rswk-swf
655		7	\|8 1\p \|0 (DE-588)4123623-3 \|a Lehrbuch \|2 gnd-content
689	0	0	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	0		\|5 DE-604
689	1	0	\|a Automatentheorie \|0 (DE-588)4003953-5 \|D s
689	1	1	\|a Formale Sprache \|0 (DE-588)4017848-1 \|D s
689	1	2	\|a Komplexitätstheorie \|0 (DE-588)4120591-1 \|D s
689	1	3	\|a Berechenbarkeit \|0 (DE-588)4138368-0 \|D s
689	1		\|8 2\p \|5 DE-604
700	1		\|a Motwani, Rajeev \|d 1962-2009 \|e Verfasser \|0 (DE-588)124195199 \|4 aut
700	1		\|a Ullman, Jeffrey D. \|d 1942- \|e Verfasser \|0 (DE-588)123598230 \|4 aut
856	4	2	\|m HBZ Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014763709&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
943	1		\|a oai:aleph.bib-bvb.de:BVB01-014763709

Datensatz im Suchindex

DE-BY-OTHR_call_number	F 03/ST 130 H791 E3(2.03)
DE-BY-OTHR_katkey	3727265
DE-BY-OTHR_location	02
DE-BY-OTHR_media_number	067002097860
_version_	1831256239723511808
adam_text	Titel: Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie Autor: Hopcroft, John E Jahr: 2003 John E. Hopcroft Rajeev Motwani Jeffrey D. Ullman Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie 2., überarbeitete Auflage Pearson Studium ein Imprint der Pearson Education Deutschland GmbH I M vi. nhaltsverzeichnis Vorwort 7 Kapitel 1 Automaten: Die Methoden und der Wahnsinn 11 1.1 Wozu dient das Studium der Automatentheorie? 12 1.2 Einführung in formale Beweise 15 1.3 Weitere Formen von Beweisen 23 1.4 Induktive Beweise 29 1.5 Die zentralen Konzepte der Automatentheorie 38 1.6 Zusammenfassung von Kapitel 1 43 Kapitel 2 Endliche Automaten 45 2.1 Eine informelle Darstellung endlicher Automaten 46 2.2 Deterministische endliche Automaten 54 2.3 Nichtdeterministische endliche Automaten 64 2.4 Eine Anwendung: Textsuche 78 2.5 Endliche Automaten mit Epsilon-Übergängen 82 2.6 Zusammenfassung von Kapitel 2 91 Kapitel 3 Reguläre Ausdrücke und Sprachen 93 3.1 Reguläre Ausdrücke 93 3.2 Endliche Automaten und reguläre Ausdrücke 100 3.3 Anwendungen regulärer Ausdrücke 118 3.4 Algebraische Gesetze für reguläre Ausdrücke 124 3.5 Zusammenfassung von Kapitel 3 133 Kapitel 4 Eigenschaften regulärer Sprachen 135 4.1 Beweis der Nichtregularität von Sprachen 135 4.2 Abgeschlossenheitseigenschaften regulärer Sprachen 141 4.3 Entscheidbarkeit regulärer Sprachen 159 4.4 Äquivalenz und Minimierung von Automaten 164 4.5 Zusammenfassung von Kapitel 4 176 Kapitel 5 Kontextfreie Grammatiken und Sprachen 179 5.1 Kontextfreie Grammatiken 179 5.2 Parsebäume 191 5.3 Anwendungen kontextfreier Grammatiken 202 5.4 Mehrdeutigkeit von Grammatiken und Sprachen 215 5.5 Zusammenfassung von Kapitel 5 225 Inhaltsverzeichnis Kapitel 6 Pushdown-Automaten 229 6.1 Definition der Pushdown-Automaten 229 6.2 Die Sprachen der Pushdown-Automaten 239 6.3 Äquivalenz von Pushdown-Automaten und kontextfreien Grammatiken 247 6.4 Deterministische Pushdown-Automaten 257 6.5 Zusammenfassung von Kapitel 6 262 Kapitel 7 Eigenschaften kontextfreier Sprachen 265 7.1 Normalformen kontextfreier Grammatiken 265 7.2 Das Pumping-Lemma für kontextfreie Sprachen 284 7.3 Abgeschlossenheit kontextfreier Sprachen 292 7.4 Entscheidbarkeit kontextfreier Sprachen 304 7.5 Zusammenfassung von Kapitel 7 314 Kapitel 8 Einführung in Turing-Maschinen 317 8.1 Probleme, die nicht von Computern gelöst werden können 317 8.2 Die Turing-Maschine 326 8.3 Programmiertechniken für Turing-Maschinen 339 8.4 Erweiterte Turing-Maschinen 346 8.5 Beschränkte Turing-Maschinen 355 8.6 Turing-Maschinen und Computer 365 8.7 Zusammenfassung von Kapitel 8 373 Kapitel 9 Unentscheidbarkeit 377 9.1 Eine nicht rekursiv aufzählbare Sprache 378 9.2 Ein unentscheidbares Problem, das rekursiv aufzählbar ist 382 9.3 Turing-Maschinen und unentscheidbare Probleme 392 9.4 Das Postsche Korrespondenzproblem 401 9.5 Weitere unentscheidbare Probleme 413 9.6 Zusammenfassung von Kapitel 9 419 Kapitel 10 Nicht handhabbare Probleme 423 10.1 Die Klassen V und MV 424 10.2 Ein NP-vollständiges Problem 435 10.3 Ein eingeschränktes Erfüllbarkeitsproblem 444 10.4 Weitere NP-vollständige Probleme 455 10.5 Zusammenfassung von Kapitel 10 474 Kapitel 1 1 Weitere Probiemklassen 477 11.1 Komplemente von Sprachen, die in MV enthalten sind 478 11.2 Probleme, die mit polynomialem Speicherplatz lösbar sind 481 11.3 Ein für VS vollständiges Problem 486 11.4 Zufallsabhängige Sprachklassen 495 11.5 Die Komplexität des Primzahltests 506 11.6 Zusammenfassung von Kapitel 11 517 Register 521
any_adam_object	1
author	Hopcroft, John E. 1939- Motwani, Rajeev 1962-2009 Ullman, Jeffrey D. 1942-
author_GND	(DE-588)112071481 (DE-588)124195199 (DE-588)123598230
author_facet	Hopcroft, John E. 1939- Motwani, Rajeev 1962-2009 Ullman, Jeffrey D. 1942-
author_role	aut aut aut
author_sort	Hopcroft, John E. 1939-
author_variant	j e h je jeh r m rm j d u jd jdu
building	Verbundindex
bvnumber	BV021547586
classification_rvk	ST 130 ST 136
classification_tum	DAT 500f
ctrlnum	(OCoLC)253536692 (DE-599)BVBBV021547586
dewey-full	511.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3
dewey-search	511.3
dewey-sort	3511.3
dewey-tens	510 - Mathematics
discipline	Informatik Mathematik
edition	2., überarb. Aufl., [Nachdr.]
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02691nam a22006018c 4500</leader><controlfield tag="001">BV021547586</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070411 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">060411s2003 xx d\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3827370205</subfield><subfield code="9">3-8273-7020-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)253536692</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021547586</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-898</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-863</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 136</subfield><subfield code="0">(DE-625)143591:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hopcroft, John E.</subfield><subfield code="d">1939-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)112071481</subfield><subfield code="4">aut</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">Introduction to automata theory, languages and computation</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie</subfield><subfield code="c">John E. Hopcroft ; Rajeev Motwani ; Jeffrey D. Ullman</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2., überarb. Aufl., [Nachdr.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München [u.a.]</subfield><subfield code="b">Pearson Studium</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">528 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">i Informatik</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Fälschlich als 2. Aufl. bezeichnet. - 2. Aufl. bezieht sich auf die Übers. der 2. engl. Ausg.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatentheorie - Lehrbuch</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formale Sprache - Lehrbuch</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Komplexitätstheorie - Lehrbuch</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Motwani, Rajeev</subfield><subfield code="d">1962-2009</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124195199</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ullman, Jeffrey D.</subfield><subfield code="d">1942-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)123598230</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014763709&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014763709</subfield></datafield></record></collection>
genre	1\p (DE-588)4123623-3 Lehrbuch gnd-content
genre_facet	Lehrbuch
id	DE-604.BV021547586
illustrated	Illustrated
indexdate	2024-12-20T12:36:10Z
institution	BVB
isbn	3827370205
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-014763709
oclc_num	253536692
open_access_boolean
owner	DE-898 DE-BY-UBR DE-19 DE-BY-UBM DE-863 DE-BY-FWS
owner_facet	DE-898 DE-BY-UBR DE-19 DE-BY-UBM DE-863 DE-BY-FWS
physical	528 S. graph. Darst.
publishDate	2003
publishDateSearch	2003
publishDateSort	2003
publisher	Pearson Studium
record_format	marc
series2	i Informatik
spellingShingle	Hopcroft, John E. 1939- Motwani, Rajeev 1962-2009 Ullman, Jeffrey D. 1942- Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie Automatentheorie - Lehrbuch Formale Sprache - Lehrbuch Komplexitätstheorie - Lehrbuch Komplexitätstheorie (DE-588)4120591-1 gnd Theoretische Informatik (DE-588)4196735-5 gnd Formale Sprache (DE-588)4017848-1 gnd Automatentheorie (DE-588)4003953-5 gnd Berechenbarkeit (DE-588)4138368-0 gnd
subject_GND	(DE-588)4120591-1 (DE-588)4196735-5 (DE-588)4017848-1 (DE-588)4003953-5 (DE-588)4138368-0 (DE-588)4123623-3
title	Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie
title_alt	Introduction to automata theory, languages and computation
title_auth	Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie
title_exact_search	Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie
title_full	Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie John E. Hopcroft ; Rajeev Motwani ; Jeffrey D. Ullman
title_fullStr	Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie John E. Hopcroft ; Rajeev Motwani ; Jeffrey D. Ullman
title_full_unstemmed	Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie John E. Hopcroft ; Rajeev Motwani ; Jeffrey D. Ullman
title_short	Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie
title_sort	einfuhrung in die automatentheorie formale sprachen und komplexitatstheorie
topic	Automatentheorie - Lehrbuch Formale Sprache - Lehrbuch Komplexitätstheorie - Lehrbuch Komplexitätstheorie (DE-588)4120591-1 gnd Theoretische Informatik (DE-588)4196735-5 gnd Formale Sprache (DE-588)4017848-1 gnd Automatentheorie (DE-588)4003953-5 gnd Berechenbarkeit (DE-588)4138368-0 gnd
topic_facet	Automatentheorie - Lehrbuch Formale Sprache - Lehrbuch Komplexitätstheorie - Lehrbuch Komplexitätstheorie Theoretische Informatik Formale Sprache Automatentheorie Berechenbarkeit Lehrbuch
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014763709&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT hopcroftjohne introductiontoautomatatheorylanguagesandcomputation AT motwanirajeev introductiontoautomatatheorylanguagesandcomputation AT ullmanjeffreyd introductiontoautomatatheorylanguagesandcomputation AT hopcroftjohne einfuhrungindieautomatentheorieformalesprachenundkomplexitatstheorie AT motwanirajeev einfuhrungindieautomatentheorieformalesprachenundkomplexitatstheorie AT ullmanjeffreyd einfuhrungindieautomatentheorieformalesprachenundkomplexitatstheorie

Verfügbarkeit

Inhaltsverzeichnis

Ausleihbestand Seybothstrasse

Bestandsangaben von Ausleihbestand Seybothstrasse
Signatur:	F 03 ST 130 H791 E3(2.03) Lageplan
Exemplar 1	uneingeschränkt entleihbar Am Standort