Theoretische Informatik: eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
München
Pearson Studium
2003
|
| Edition: | [Nachdr.] |
| Series: | Informatik
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturverz. S. 415 - 417 |
| Physical Description: | 424 S. graph. Darst. |
| ISBN: | 3827370337 |
Staff View
MARC
| LEADER | 00000nam a22000008c 4500 | ||
|---|---|---|---|
| 001 | BV019540130 | ||
| 003 | DE-604 | ||
| 005 | 20240712 | ||
| 007 | t | ||
| 008 | 041102s2003 gw d||| |||| 00||| ger d | ||
| 020 | |a 3827370337 |9 3-8273-7033-7 | ||
| 035 | |a (OCoLC)249435368 | ||
| 035 | |a (DE-599)BVBBV019540130 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-860 |a DE-1028 |a DE-20 |a DE-858 |a DE-703 |a DE-19 |a DE-83 |a DE-29 |a DE-863 | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a DAT 500f |2 stub | ||
| 100 | 1 | |a Asteroth, Alexander |d 1968- |e Verfasser |0 (DE-588)122534425 |4 aut | |
| 245 | 1 | 0 | |a Theoretische Informatik |b eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen |c Alexander Asteroth ; Christel Baier |
| 250 | |a [Nachdr.] | ||
| 264 | 1 | |a München |b Pearson Studium |c 2003 | |
| 300 | |a 424 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Informatik | |
| 500 | |a Literaturverz. S. 415 - 417 | ||
| 650 | 4 | |a Theoretische Informatik | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |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 | |
| 700 | 1 | |a Baier, Christel |e Verfasser |0 (DE-588)12400301X |4 aut | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012908479&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-012908479 | |
Record in the Search Index
| DE-BY-863_location | 1340 |
|---|---|
| DE-BY-FWS_call_number | 1340/ST 130 A853(.003) |
| DE-BY-FWS_katkey | 305936 |
| DE-BY-FWS_media_number | 083101265944 |
| _version_ | 1824555489812283392 |
| adam_text |
ALEXANDER ASTEROTH CHRISTEL BAIER THEORETISCHE INFORMATIK EINE
EINFUEHRUNG IN BERECHENBARKEIT, KOMPLEXITAET UND FORMALE SPRACHEN MIT 101
BEISPIELEN IVMSUN EIN IMPRINT DER PEARSON EDUCATION DEUTSCHLAND GMBH
INHALTSVERZEICHNIS TEIL I BERECHENBARKEIT 1 1.1 1.2 1.3 1.4 2 2.1 2.2
2.3 2.4 TEIL 3 3.1 3.2 3.3 4 4.1 4.2 4.3 4.4 4.5 4.6 ABSTRAKTE
RECHNERMODELLE REGISTERMASCHINEN TURINGMASCHINEN AEQUIVALENZ DER
BERECHENBARKEITSBEGRIFFE UEBUNGEN ENTSCHEIDUNGSPROBLEME ENTSCHEIDBARBEIT
UND SEMIENTSCHEIDBARKEIT DAS HALTEPROBLEM NICHTDETERMINISMUS UEBUNGEN II
KOMPLEXITAET KOMPLEXITAETSKLASSEN ZEITKOMPLEXITAET PLATZKOMPLEXITAET UEBUNGEN
DAS P-/VP-PROBLEM NP-VOLLSTAENDIGKEIT DER SATZ VON COOK WEITERE
NP-VOLLSTAENDIGE PROBLEME DIE KLASSE CONP PSP/ICE-VOLLSTAENDIGKEIT UEBUNGEN
17 18 36 63 77 85 88 99 116 126 137 137 145 149 151 151 155 162 178 182
187 8 TEIL III FORMALE SPRACHEN 5 5.1 5.2 5.3 5.4 5.5 6 6.1 6.2 6.3 6.4
6.5 7 7.1 7.2 7.3 7.4 7.5 7.6 7.7 8 8.1 8.2 8.3 8.4 9 9.1 9.2 9.3 9.4 10
A B GRAMMATIKEN DIE CHOMSKY-HIERARCHIE SPRACHEN VOM TYP 0
KONTEXTSENSITIVE SPRACHEN DAS WORTPROBLEM FUER SPRACHEN VOM TYP 0 UND VOM
TYP 1 UEBUNGEN REGULAERE SPRACHEN ENDLICHE AUTOMATEN EIGENSCHAFTEN
REGULAERER SPRACHEN REGULAERE AUSDRUECKE MINIMIERUNG VON ENDLICHEN
AUTOMATEN UEBUNGEN KONTEXTFREIE SPRACHEN GRUNDBEGRIFFE DIE
CHOMSKY-NORMALFORM DER COCKE-YOUNGER-KASAMI-ALGORITHMUS EIGENSCHAFTEN
KONTEXTFREIER SPRACHEN DIE GREIBACH-NORMALFORM KELLERAUTOMATEN UEBUNGEN
DETERMINISTISCH KONTEXTFREIE SPRACHEN DETERMINISTISCHE KELLERAUTOMATEN
LR(O) -GRAMMATIKEN LR(FC)-GRAMMATIKEN UEBUNGEN ENTSCHEIDUNGSPROBLEME FUER
FORMALE SPRACHEN DAS POSTSCHE KORRESPONDENZPROBLEM
UNENTSCHEIDUNGSERGEBNISSE FUER FORMALE SPRACHEN »SCHWIERIGE PROBLEME FUER
REGULAERE SPRACHEN UEBUNGEN ZUSAMMENFASSUNG DIE GUETE VON ALGORITHMEN
AUSSAGENLOGIK 195 196 210 211 215 218 221 221 236 252 260 272 277 277
283 289 292 296 299 312 317 318 324 367 380 381 382 392 400 403 405 407
409 FORMALE SPRACHEN 413 LITERATURVERZEICHNIS 415 REGISTER 419 |
| any_adam_object | 1 |
| author | Asteroth, Alexander 1968- Baier, Christel |
| author_GND | (DE-588)122534425 (DE-588)12400301X |
| author_facet | Asteroth, Alexander 1968- Baier, Christel |
| author_role | aut aut |
| author_sort | Asteroth, Alexander 1968- |
| author_variant | a a aa c b cb |
| building | Verbundindex |
| bvnumber | BV019540130 |
| classification_rvk | ST 120 ST 130 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)249435368 (DE-599)BVBBV019540130 |
| discipline | Informatik |
| edition | [Nachdr.] |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008c 4500</leader><controlfield tag="001">BV019540130</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240712</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">041102s2003 gw d||| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3827370337</subfield><subfield code="9">3-8273-7033-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)249435368</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019540130</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-91G</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-863</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</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">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Asteroth, Alexander</subfield><subfield code="d">1968-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)122534425</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="b">eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen</subfield><subfield code="c">Alexander Asteroth ; Christel Baier</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">[Nachdr.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Pearson Studium</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">424 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">Informatik</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 415 - 417</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theoretische Informatik</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="655" ind1=" " ind2="7"><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="700" ind1="1" ind2=" "><subfield code="a">Baier, Christel</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)12400301X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=012908479&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-012908479</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV019540130 |
| illustrated | Illustrated |
| indexdate | 2025-02-20T07:08:29Z |
| institution | BVB |
| isbn | 3827370337 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-012908479 |
| oclc_num | 249435368 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-860 DE-1028 DE-20 DE-858 DE-703 DE-19 DE-BY-UBM DE-83 DE-29 DE-863 DE-BY-FWS |
| owner_facet | DE-91G DE-BY-TUM DE-860 DE-1028 DE-20 DE-858 DE-703 DE-19 DE-BY-UBM DE-83 DE-29 DE-863 DE-BY-FWS |
| physical | 424 S. graph. Darst. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Pearson Studium |
| record_format | marc |
| series2 | Informatik |
| spellingShingle | Asteroth, Alexander 1968- Baier, Christel Theoretische Informatik eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen Theoretische Informatik Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4123623-3 |
| title | Theoretische Informatik eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen |
| title_auth | Theoretische Informatik eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen |
| title_exact_search | Theoretische Informatik eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen |
| title_full | Theoretische Informatik eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen Alexander Asteroth ; Christel Baier |
| title_fullStr | Theoretische Informatik eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen Alexander Asteroth ; Christel Baier |
| title_full_unstemmed | Theoretische Informatik eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen Alexander Asteroth ; Christel Baier |
| title_short | Theoretische Informatik |
| title_sort | theoretische informatik eine einfuhrung in berechenbarkeit komplexitat und formale sprachen mit 101 beispielen |
| title_sub | eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen |
| topic | Theoretische Informatik Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Theoretische Informatik Lehrbuch |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012908479&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT asterothalexander theoretischeinformatikeineeinfuhrunginberechenbarkeitkomplexitatundformalesprachenmit101beispielen AT baierchristel theoretischeinformatikeineeinfuhrunginberechenbarkeitkomplexitatundformalesprachenmit101beispielen |
Indexes
THWS Würzburg Teilbibliothek SHL, Raum I.2.11
| Call Number: |
1340 ST 130 A853(.003) |
|---|---|
| Copy 1 | ausleihbar Available Place a Hold |