Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Bonn ; München ; Reading, Mass. <<[u.a.]>>
Addison-Wesley
1993
|
| Ausgabe: | 2., korrig. Nachdr. |
| Schriftenreihe: | Internationale Computer-Bibliothek
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturverz. S. 437 - 452 |
| Beschreibung: | IX, 461 S. graph. Darst. 21 cm |
| ISBN: | 389319181X |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV023521371 | ||
| 003 | DE-604 | ||
| 005 | 20080606000000.0 | ||
| 007 | t | ||
| 008 | 931122s1993 gw d||| |||| 00||| ger d | ||
| 015 | |a 91,A27,0461 |2 dnb | ||
| 016 | 7 | |a 900868813 |2 DE-101 | |
| 020 | |a 389319181X |c kart. : DM 58.00 |9 3-89319-181-X | ||
| 035 | |a (OCoLC)46205654 | ||
| 035 | |a (DE-599)BVBBV023521371 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-NW | ||
| 049 | |a DE-521 |a DE-11 | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a 28 |2 sdnb | ||
| 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 ; Jeffrey D. Ullmann |
| 250 | |a 2., korrig. Nachdr. | ||
| 264 | 1 | |a Bonn ; München ; Reading, Mass. <<[u.a.]>> |b Addison-Wesley |c 1993 | |
| 300 | |a IX, 461 S. |b graph. Darst. |c 21 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Internationale Computer-Bibliothek | |
| 500 | |a Literaturverz. S. 437 - 452 | ||
| 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 |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-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 Komplexitätstheorie |0 (DE-588)4120591-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 0 | 1 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 0 | 2 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |D s |
| 689 | 0 | 3 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 689 | 2 | 0 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Ullman, Jeffrey D. |d 1942- |e Verfasser |0 (DE-588)123598230 |4 aut | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016841668&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 | |
| 883 | 1 | |8 3\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-016841668 | |
Datensatz im Suchindex
| _version_ | 1810361683451838464 |
|---|---|
| adam_text |
INHALT
KAPITEL 1 VORBEMERKUNGEN
1.1 ZEICHENKETTEN, ALPHABETE UND SPRACHEN.1
1.2 GRAPHEN UND BAEUME.2
1.3 INDUKTIONSBEWEISE.4
1.4 MENGEN-NOTATION.5
1.5 RELATIONEN.7
1.6 UEBERSICHT UEBER DAS BUCH.8
KAPITEL 2 ENDLICHE AUTOMATEN UND REGULAERE AUSDRUECKE
2.1 SYSTEME MIT ENDLICHER ZUSTANDSMENGE.13
2.2 GRUNDLEGENDE DEFINITIONEN.16
2.3 NICHTDETERMINISTISCHE ENDLICHE AUTOMATEN.19
2.4 ENDLICHE AUTOMATEN MIT E-UEBERGAENGEN.25
2.5 REGULAERE AUSDRUECKE.28
2.6 ZWEISEITIGE ENDLICHE AUTOMATEN.37
2.7 ENDLICHE AUTOMATEN MIT AUSGABE.44
2.8 ANWENDUNGEN FUER ENDLICHE AUTOMATEN.47
KAPITEL 3 EIGENSCHAFTEN VON REGULAEREN MENGEN
3.1 DAS PUMPING-LEMMA FUER REGULAERE MENGEN.59
3.2 ABGESCHLOSSENHEIT REGULAERER MENGEN.62
3.3 ENTSCHEIDUNGSALGORITHMEN FUER REGULAERE MENGEN.67
3.4 DER SATZ VON MYHILL-NERODE UND DIE MINIMIERUNG
ENDLICHER AUTOMATEN.69
KAPITEL 4 KONTEXTFREIE GRAMMATIKEN
4.1 MOTIVATION UND EINLEITUNG.83
4.2 KONTEXTFREIE GRAMMATIKEN.85
4.3 ABLEITUNGSBAEUME.88
4.4 VEREINFACHUNG KONTEXTFREIER GRAMMATIKEN.94
4.5 CHOMSKY-NORMALFORM.99
4.6 GREIBACH-NORMALFORM.101
4.7 DIE EXISTENZ ERERBT MEHRDEUTIGER KONTEXTFREIER SPRACHEN.106
KAPITEL 5 KELLERAUTOMATEN
5.1 INFORMELLE BESCHREIBUNG.115
5.2 DEFINITIONEN.117
5.3 KELLERAUTOMATEN UND KONTEXTFREIE SPRACHEN.121
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/900868813
INHALT
VIII
KAPITEL 6 EIGENSCHAFTEN KONTEXTFREIER SPRACHEN
6.1 DAS PUMPING-LEMMA FUER KFS.133
6.2 ABGESCHLOSSENHEIT BEI KFS.138
6.3 ENTSCHEIDUNGSALGORITHMEN FUER KFS.145
KAPITEL 7 TURING-MASCHINEN
7.1 EINFUEHRUNG.137
7.2 DAS MODELL TURING-MASCHINE.158
7.3 BERECHENBARE SPRACHEN UND FUNKTIONEN.161
7.4 TECHNIKEN ZUR KONSTRUKTION VON TURING-MASCHINEN.164
7.5 MODIFIZIERTE TURING-MASCHINEN.170
7.6 DIE CHURCH'SCHE HYPOTHESE.178
7.7 TURING-MASCHINEN ALS GENERATOREN.179
7.8 BESCHRAENKTE, ZUM GRUNDMODELL AEQUIVALENTE TURING-MASCHINEN 182
KAPITEL 8 UNENTSCHEIDBARKEIT
8.1 PROBLEME.191
8.2 EIGENSCHAFTEN REKURSIVER UND REKURSIV AUFZAEHLBARER SPRACHEN. 193
8.3 UNIVERSELLE TURING-MASCHINEN UND
EIN UNENTSCHEIDBARES PROBLEM.195
8.4 DER SATZ VON RICE UND WEITERE UNENTSCHEIDBARE PROBLEME.200
8.5 UNENTSCHEIDBARKEIT DES POST'SCHEN KORRESPONDENZPROBLEMS. .210
8.6 GUELTIGE UND UNGUELTIGE BERECHNUNGEN VON TM: EIN WERKZEUG
ZUM BEWEIS FUER DIE UNENTSCHEIDBARKEIT VON KFS-PROBLEMEN. 218
8.7 DER SATZ VON GREIBACH.222
8.8 EINFUEHRUNG IN DIE THEORIE REKURSIVER FUNKTIONEN.224
8.9 ORAKEL-BERECHNUNGEN.227
KAPITEL 9 DIE CHOMSKY-HIERARCHIE
9.1 REGULAERE GRAMMATIKEN.237
9.2 NICHT EINGESCHRAENKTE GRAMMATIKEN.240
9.3 KONTEXTSENSITIVE SPRACHEN.244
9.4 RELATIONEN ZWISCHEN SPRACHKLASSEN.247
KAPITEL 10 DETERMINISTISCHE KONTEXTFREIE SPRACHEN
10.1 NORMALFORMEN FUER DKA.255
10.2 ABGESCHLOSSENHEIT VON DKFS UNTER KOMPLEMENTBILDUNG.257
10.3 VORHERSAGENDE MASCHINEN.262
10.4 ZUSAETZLICHE ABGESCHLOSSENHEITSEIGENSCHAFTEN VON DKFS.265
10.5 ENTSCHEIDBARKEITSEIGENSCHAFTEN VON DFS.268
10.6 LAE(0)-GRAMMATIKEN.270
10.7 LAE(0)-GRAMMATIKEN UND DKA. 275
10.8 IAE(LC)-GRAMMATIKEN.284
INHALT IX
KAPITEL 11 ABGESCHLOSSENHEITSEIGENSCHAFTEN VON SPRACHFAMILIEN
11.1 TRIOS UND VOLLE TRIOS.295
11.2 ABBILDUNGEN VERALLGEMEINERTER SEQUENTIELLER MASCHINEN.296
11.3 WEITERE ABGESCHLOSSENHEITSEIGENSCHAFTEN VON TRIOS.301
11.4 ABSTRAKTE SPRACHFAMILIEN.302
11.5 UNABHAENGIGKEIT DER ASF-OPERATIONEN.304
11.6 ZUSAMMENFASSUNG.306
KAPITEL 12 KOMPLEXITAETSTHEORIE
12.1 DEFINITIONEN.311
12.2 LINEARE BESCHLEUNIGUNG, BANDKOMPRESSION
UND REDUKTION DER ANZAHL DER BAENDER.314
12.3 HIERARCHIE-SAETZE.321
12.4 BEZIEHUNGEN ZWISCHEN KOMPLEXITAETSMASSEN.327
12.5 UBERTRAGUNGSLEMMATA UND NICHTDETERMINISTISCHE HIERARCHIEN. 329
12.6 EIGENSCHAFTEN ALLGEMEINER KOMPLEXITAETSMASSE: DER LUECKEN-,
BESCHLEUNIGUNGS- UND VEREINIGUNGSSATZ.333
12.7 AXIOMATISCHE KOMPLEXITAETSTHEORIE.341
KAPITEL 13 HARTNAECKIGE PROBLEME
13.1 POLYNOMIALE ZEIT UND POLYNOMIALES BAND.351
13.2 EINIGE NP-VOLLSTAENDIGE PROBLEME.355
13.3 DIE KLASSE CO-MV.374
13.4 PBAND-VOLLSTAENDIGE PROBLEME.376
13.5 VOLLSTAENDIGE PROBLEME FUER V UND NBAND(LOGN).380
13.6 EINIGE BEWEISBAR HARTNAECKIGE PROBLEME.383
13.7 DIE V = MV FRAGE FUER TM MIT ORAKELN: DIE GRENZEN
UNSERER FAEHIGKEIT ZU BESTIMMEN, OB V = MV GILT.396
KAPITEL 14 WESENTLICHE ASPEKTE ANDERER WICHTIGER SPRACHKLASSEN
14.1 HILFSKELLERAUTOMATEN.415
14.2 STACK-AUTOMATEN.420
14.3 INDIZIERTE SPRACHEN.429
14.4 ENTWICKLUNGSSYSTEME.431
14.5 ZUSAMMENFASSUNG.432
LITERATUR .437
INDEX .453 |
| adam_txt | |
| any_adam_object | 1 |
| any_adam_object_boolean | |
| author | Hopcroft, John E. 1939- Ullman, Jeffrey D. 1942- |
| author_GND | (DE-588)112071481 (DE-588)123598230 |
| author_facet | Hopcroft, John E. 1939- Ullman, Jeffrey D. 1942- |
| author_role | aut aut |
| author_sort | Hopcroft, John E. 1939- |
| author_variant | j e h je jeh j d u jd jdu |
| building | Verbundindex |
| bvnumber | BV023521371 |
| classification_rvk | ST 130 |
| ctrlnum | (OCoLC)46205654 (DE-599)BVBBV023521371 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| edition | 2., korrig. Nachdr. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zc 4500</leader><controlfield tag="001">BV023521371</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080606000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">931122s1993 gw d||| |||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">91,A27,0461</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">900868813</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">389319181X</subfield><subfield code="c">kart. : DM 58.00</subfield><subfield code="9">3-89319-181-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)46205654</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023521371</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</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">XA-DE-NW</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-521</subfield><subfield code="a">DE-11</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">28</subfield><subfield code="2">sdnb</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 ; Jeffrey D. Ullmann</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2., korrig. Nachdr.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Bonn ; München ; Reading, Mass. <<[u.a.]>></subfield><subfield code="b">Addison-Wesley</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 461 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">21 cm</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">Internationale Computer-Bibliothek</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 437 - 452</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="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">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">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="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">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" 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="0" 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="0" 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="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</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">DNB 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=016841668&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="883" ind1="1" ind2=" "><subfield code="8">3\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-016841668</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV023521371 |
| illustrated | Illustrated |
| index_date | 2024-07-02T22:32:55Z |
| indexdate | 2024-09-16T14:03:59Z |
| institution | BVB |
| isbn | 389319181X |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016841668 |
| oclc_num | 46205654 |
| open_access_boolean | |
| owner | DE-521 DE-11 |
| owner_facet | DE-521 DE-11 |
| physical | IX, 461 S. graph. Darst. 21 cm |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Addison-Wesley |
| record_format | marc |
| series2 | Internationale Computer-Bibliothek |
| 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 ; Jeffrey D. Ullmann 2., korrig. Nachdr. Bonn ; München ; Reading, Mass. <<[u.a.]>> Addison-Wesley 1993 IX, 461 S. graph. Darst. 21 cm txt rdacontent n rdamedia nc rdacarrier Internationale Computer-Bibliothek Literaturverz. S. 437 - 452 Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Automatentheorie (DE-588)4003953-5 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Komplexitätstheorie (DE-588)4120591-1 gnd rswk-swf 1\p (DE-588)4123623-3 Lehrbuch gnd-content 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 Theoretische Informatik (DE-588)4196735-5 s 3\p DE-604 DE-604 Ullman, Jeffrey D. 1942- Verfasser (DE-588)123598230 aut DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016841668&sequence=000001&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 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Hopcroft, John E. 1939- Ullman, Jeffrey D. 1942- Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie Theoretische Informatik (DE-588)4196735-5 gnd Automatentheorie (DE-588)4003953-5 gnd Formale Sprache (DE-588)4017848-1 gnd Berechenbarkeit (DE-588)4138368-0 gnd Komplexitätstheorie (DE-588)4120591-1 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4003953-5 (DE-588)4017848-1 (DE-588)4138368-0 (DE-588)4120591-1 (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 ; Jeffrey D. Ullmann |
| title_fullStr | Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie John E. Hopcroft ; Jeffrey D. Ullmann |
| title_full_unstemmed | Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie John E. Hopcroft ; Jeffrey D. Ullmann |
| title_short | Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie |
| title_sort | einfuhrung in die automatentheorie formale sprachen und komplexitatstheorie |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Automatentheorie (DE-588)4003953-5 gnd Formale Sprache (DE-588)4017848-1 gnd Berechenbarkeit (DE-588)4138368-0 gnd Komplexitätstheorie (DE-588)4120591-1 gnd |
| topic_facet | Theoretische Informatik Automatentheorie Formale Sprache Berechenbarkeit Komplexitätstheorie Lehrbuch |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016841668&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hopcroftjohne introductiontoautomatatheorylanguagesandcomputation AT ullmanjeffreyd introductiontoautomatatheorylanguagesandcomputation AT hopcroftjohne einfuhrungindieautomatentheorieformalesprachenundkomplexitatstheorie AT ullmanjeffreyd einfuhrungindieautomatentheorieformalesprachenundkomplexitatstheorie |