Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
München [u.a.]
Pearson Studium
2003
|
| Edition: | 2., überarb. Aufl., [Nachdr.] |
| Series: | i Informatik
|
| Subjects: | |
| Links: | 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 |
| Item Description: | Fälschlich als 2. Aufl. bezeichnet. - 2. Aufl. bezieht sich auf die Übers. der 2. engl. Ausg. |
| Physical Description: | 528 S. graph. Darst. |
| ISBN: | 3827370205 |
Staff View
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 | |
Record in the Search Index
| 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 |