Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie:
Gespeichert in:
Hauptverfasser: | , , |
---|---|
Format: | Buch |
Sprache: | German |
Veröffentlicht: |
München [u.a.]
Pearson Studium
2006
|
Ausgabe: | 2., überarb. Aufl., [Nachdr.] |
Schriftenreihe: | i Informatik
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
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 9783827370204 |
Internformat
MARC
LEADER | 00000nam a22000008c 4500 | ||
---|---|---|---|
001 | BV022368817 | ||
003 | DE-604 | ||
005 | 20100305 | ||
007 | t | ||
008 | 070328s2006 gw d||| |||| 00||| ger d | ||
020 | |a 3827370205 |9 3-8273-7020-5 | ||
020 | |a 9783827370204 |9 978-3-8273-7020-4 | ||
035 | |a (OCoLC)255770751 | ||
035 | |a (DE-599)BVBBV022368817 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a ger | |
044 | |a gw |c DE | ||
049 | |a DE-355 |a DE-91G |a DE-29T | ||
082 | 0 | |a 511.3 | |
084 | |a ES 900 |0 (DE-625)27926: |2 rvk | ||
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 2006 | |
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 Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |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 Automatentheorie |0 (DE-588)4003953-5 |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 Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015578033&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-015578033 | ||
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 |
Datensatz im Suchindex
_version_ | 1804136420625874944 |
---|---|
adam_text | 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
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 11 Weitere Problemklassen 477
11.1 Komplemente von Sprachen, die in MV enthalten sind 478
11.2 Probleme, die mit poiynomialem Speicherplatz lösbar sind 481
11.3 Ein für PS 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
|
adam_txt |
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
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 11 Weitere Problemklassen 477
11.1 Komplemente von Sprachen, die in MV enthalten sind 478
11.2 Probleme, die mit poiynomialem Speicherplatz lösbar sind 481
11.3 Ein für 'PS 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 |
any_adam_object_boolean | 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 | BV022368817 |
classification_rvk | ES 900 ST 130 ST 136 |
classification_tum | DAT 500f |
ctrlnum | (OCoLC)255770751 (DE-599)BVBBV022368817 |
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 | Sprachwissenschaft Informatik Mathematik Literaturwissenschaft |
discipline_str_mv | Sprachwissenschaft Informatik Mathematik Literaturwissenschaft |
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>02818nam a22006378c 4500</leader><controlfield tag="001">BV022368817</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100305 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">070328s2006 gw 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="020" ind1=" " ind2=" "><subfield code="a">9783827370204</subfield><subfield code="9">978-3-8273-7020-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)255770751</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022368817</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-29T</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ES 900</subfield><subfield code="0">(DE-625)27926:</subfield><subfield code="2">rvk</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">2006</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">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">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">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</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">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</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">Digitalisierung UB Regensburg</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=015578033&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015578033</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></record></collection> |
genre | 1\p (DE-588)4123623-3 Lehrbuch gnd-content |
genre_facet | Lehrbuch |
id | DE-604.BV022368817 |
illustrated | Illustrated |
index_date | 2024-07-02T17:06:14Z |
indexdate | 2024-07-09T20:56:07Z |
institution | BVB |
isbn | 3827370205 9783827370204 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015578033 |
oclc_num | 255770751 |
open_access_boolean | |
owner | DE-355 DE-BY-UBR DE-91G DE-BY-TUM DE-29T |
owner_facet | DE-355 DE-BY-UBR DE-91G DE-BY-TUM DE-29T |
physical | 528 S. graph. Darst. |
publishDate | 2006 |
publishDateSearch | 2006 |
publishDateSort | 2006 |
publisher | Pearson Studium |
record_format | marc |
series2 | i Informatik |
spelling | Hopcroft, John E. 1939- Verfasser (DE-588)112071481 aut Introduction to automata theory, languages and computation Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie John E. Hopcroft ; Rajeev Motwani ; Jeffrey D. Ullman 2., überarb. Aufl., [Nachdr.] München [u.a.] Pearson Studium 2006 528 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier i Informatik Fälschlich als 2. Aufl. bezeichnet. - 2. Aufl. bezieht sich auf die Übers. der 2. engl. Ausg. Automatentheorie - Lehrbuch Formale Sprache - Lehrbuch Komplexitätstheorie - Lehrbuch Formale Sprache (DE-588)4017848-1 gnd rswk-swf Komplexitätstheorie (DE-588)4120591-1 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Automatentheorie (DE-588)4003953-5 gnd rswk-swf 1\p (DE-588)4123623-3 Lehrbuch gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Automatentheorie (DE-588)4003953-5 s Formale Sprache (DE-588)4017848-1 s Komplexitätstheorie (DE-588)4120591-1 s Berechenbarkeit (DE-588)4138368-0 s 2\p DE-604 Motwani, Rajeev 1962-2009 Verfasser (DE-588)124195199 aut Ullman, Jeffrey D. 1942- Verfasser (DE-588)123598230 aut Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015578033&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
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 Formale Sprache (DE-588)4017848-1 gnd Komplexitätstheorie (DE-588)4120591-1 gnd Berechenbarkeit (DE-588)4138368-0 gnd Theoretische Informatik (DE-588)4196735-5 gnd Automatentheorie (DE-588)4003953-5 gnd |
subject_GND | (DE-588)4017848-1 (DE-588)4120591-1 (DE-588)4138368-0 (DE-588)4196735-5 (DE-588)4003953-5 (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_exact_search_txtP | 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 Formale Sprache (DE-588)4017848-1 gnd Komplexitätstheorie (DE-588)4120591-1 gnd Berechenbarkeit (DE-588)4138368-0 gnd Theoretische Informatik (DE-588)4196735-5 gnd Automatentheorie (DE-588)4003953-5 gnd |
topic_facet | Automatentheorie - Lehrbuch Formale Sprache - Lehrbuch Komplexitätstheorie - Lehrbuch Formale Sprache Komplexitätstheorie Berechenbarkeit Theoretische Informatik Automatentheorie Lehrbuch |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015578033&sequence=000003&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 |