Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | German English |
| Veröffentlicht: |
München [u.a.]
Oldenbourg
2000
|
| Ausgabe: | 4., durchges. Aufl. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IX, 461 S. graph. Darst. |
| ISBN: | 3486254952 |
Internformat
MARC
| LEADER | 00000nam a22000008c 4500 | ||
|---|---|---|---|
| 001 | BV013128359 | ||
| 003 | DE-604 | ||
| 005 | 20080613 | ||
| 007 | t | ||
| 008 | 000425s2000 d||| |||| 00||| ger d | ||
| 016 | 7 | |a 958867429 |2 DE-101 | |
| 020 | |a 3486254952 |c brosch. : DM 59.00, sfr 55.80, S 431.00 |9 3-486-25495-2 | ||
| 035 | |a (OCoLC)76117698 | ||
| 035 | |a (DE-599)BVBBV013128359 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 1 | |a ger |h eng | |
| 049 | |a DE-20 |a DE-91 |a DE-91G |a DE-12 |a DE-210 |a DE-29T |a DE-703 |a DE-1046 |a DE-Aug4 |a DE-92 |a DE-824 |a DE-860 |a DE-522 |a DE-634 | ||
| 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 von John E. Hopcroft und Jeffrey D. Ullman |
| 250 | |a 4., durchges. Aufl. | ||
| 264 | 1 | |a München [u.a.] |b Oldenbourg |c 2000 | |
| 300 | |a IX, 461 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Komplexitätstheorie |0 (DE-588)4120591-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 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 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 Ullman, Jeffrey D. |d 1942- |e Verfasser |0 (DE-588)123598230 |4 aut | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008944805&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008944805 | ||
| 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_ | 1804127828358201344 |
|---|---|
| adam_text | EINFUEHRUNG IN DIE AUTOMATENTHEORIE, FORMALE SPRACHEN UND
KOMPLEXITAETSTHEORIE VON JOHN E. HOPCROFT UND JEFFREY D. ULLMAN 4.,
DURCHGESEHENE AUFLAGE OLDENBOURG VERLAG MUENCHEN WIEN 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-BEWEGUNGEN 24 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 INHAERENT MEHRDEUTIGER
KONTEXTFREIER SPRACHEN 106 KAPITEL 5 KELLERAUTOMATEN 5.1 INFORMELLE
BESCHREIBUNG 115 5.2 DEFINITIONEN 117 5.3 KELLERAUTOMATEN UND
KONTEXTFREIE SPRACHEN 121 VIII INHALT 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 157 7.2 DAS
TURING-MASCHINEN-MODELL 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....
217 8.7 DER SATZ VON GREIBACH 221 8.8 EINFUEHRUNG IN DIE THEORIE
REKURSIVER FUNKTIONEN 223 8.9 ORAKEL-BERECHNUNGEN 226 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 DKFS 268 10.6 II?(0)-GRAMMATIKEN 270
10.7 LI?(0)-GRAMMATIKEN UND DKA 275 10.8 LAE(A;)-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 304 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 TRANSLATIONSLEMMATA 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 IVP-VOLLSTAENDIGE PROBLEME 355
13.3 DIE KLASSE CO-MP 374 13.4 PBAND-VOLLSTAENDIGE PROBLEME 376 13.5
VOLLSTAENDIGE PROBLEME FUER V UND NBAND(LOG N) 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 4L5 14.2 STACK-AUTOMATEN 420 14.3 INDIZIERTE
SPRACHEN 429 14.4 ENTWICKLUNGSSYSTEME 431 14.5 ZUSAMMENFASSUNG ; 432
LITERATUR 437 INDEX 453
|
| any_adam_object | 1 |
| 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 | BV013128359 |
| classification_rvk | ST 130 ST 136 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)76117698 (DE-599)BVBBV013128359 |
| discipline | Informatik |
| edition | 4., durchges. Aufl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02459nam a22005298c 4500</leader><controlfield tag="001">BV013128359</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080613 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">000425s2000 d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">958867429</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3486254952</subfield><subfield code="c">brosch. : DM 59.00, sfr 55.80, S 431.00</subfield><subfield code="9">3-486-25495-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)76117698</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013128359</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="1" ind2=" "><subfield code="a">ger</subfield><subfield code="h">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-634</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">von John E. Hopcroft und Jeffrey D. Ullman</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">4., durchges. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München [u.a.]</subfield><subfield code="b">Oldenbourg</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 461 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="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">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">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">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">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">HEBIS 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=008944805&sequence=000001&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-008944805</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.BV013128359 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:39:33Z |
| institution | BVB |
| isbn | 3486254952 |
| language | German English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008944805 |
| oclc_num | 76117698 |
| open_access_boolean | |
| owner | DE-20 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-12 DE-210 DE-29T DE-703 DE-1046 DE-Aug4 DE-92 DE-824 DE-860 DE-522 DE-634 |
| owner_facet | DE-20 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-12 DE-210 DE-29T DE-703 DE-1046 DE-Aug4 DE-92 DE-824 DE-860 DE-522 DE-634 |
| physical | IX, 461 S. graph. Darst. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Oldenbourg |
| record_format | marc |
| 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 von John E. Hopcroft und Jeffrey D. Ullman 4., durchges. Aufl. München [u.a.] Oldenbourg 2000 IX, 461 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Komplexitätstheorie (DE-588)4120591-1 gnd rswk-swf Automatentheorie (DE-588)4003953-5 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 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 Ullman, Jeffrey D. 1942- Verfasser (DE-588)123598230 aut HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008944805&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 |
| spellingShingle | Hopcroft, John E. 1939- Ullman, Jeffrey D. 1942- Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie Komplexitätstheorie (DE-588)4120591-1 gnd Automatentheorie (DE-588)4003953-5 gnd Theoretische Informatik (DE-588)4196735-5 gnd Formale Sprache (DE-588)4017848-1 gnd Berechenbarkeit (DE-588)4138368-0 gnd |
| subject_GND | (DE-588)4120591-1 (DE-588)4003953-5 (DE-588)4196735-5 (DE-588)4017848-1 (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 von John E. Hopcroft und Jeffrey D. Ullman |
| title_fullStr | Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie von John E. Hopcroft und Jeffrey D. Ullman |
| title_full_unstemmed | Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie von John E. Hopcroft und 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 | Komplexitätstheorie (DE-588)4120591-1 gnd Automatentheorie (DE-588)4003953-5 gnd Theoretische Informatik (DE-588)4196735-5 gnd Formale Sprache (DE-588)4017848-1 gnd Berechenbarkeit (DE-588)4138368-0 gnd |
| topic_facet | Komplexitätstheorie Automatentheorie Theoretische Informatik Formale Sprache Berechenbarkeit Lehrbuch |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008944805&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 |