Einführung in formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
München [u.a.]
Oldenbourg
2007
|
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturverz. S. 249 - 255 |
| Beschreibung: | VIII, 260 S. graph. Darst. 24 cm |
| ISBN: | 3486274333 9783486274332 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV021817145 | ||
| 003 | DE-604 | ||
| 005 | 20071016 | ||
| 007 | t | ||
| 008 | 061120s2007 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 981691420 |2 DE-101 | |
| 020 | |a 3486274333 |9 3-486-27433-3 | ||
| 020 | |a 9783486274332 |9 978-3-486-27433-2 | ||
| 035 | |a (OCoLC)162231187 | ||
| 035 | |a (DE-599)BVBBV021817145 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-BY | ||
| 049 | |a DE-859 |a DE-19 |a DE-12 |a DE-210 |a DE-20 |a DE-473 |a DE-29T |a DE-824 |a DE-739 |a DE-1051 |a DE-573 |a DE-703 |a DE-706 |a DE-634 |a DE-83 |a DE-11 |a DE-B768 | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 134 |0 (DE-625)143590: |2 rvk | ||
| 084 | |a ST 136 |0 (DE-625)143591: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Blum, Norbert |d 1954- |e Verfasser |0 (DE-588)129018562 |4 aut | |
| 245 | 1 | 0 | |a Einführung in formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie |c von Norbert Blum |
| 264 | 1 | |a München [u.a.] |b Oldenbourg |c 2007 | |
| 300 | |a VIII, 260 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. 249 - 255 | ||
| 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 Informationstheorie |0 (DE-588)4026927-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |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 | |
| 689 | 1 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 1 | 1 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 1 | 2 | |a Informationstheorie |0 (DE-588)4026927-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 2 | |5 DE-604 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=2867902&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m Digitalisierung UB Passau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015029345&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-015029345 | |
Datensatz im Suchindex
| _version_ | 1805088519759069184 |
|---|---|
| adam_text |
Inhaltsverzeichnis
Vorwort
Automatentheorie und Formale Sprachen 1
Die lexikalische Analyse. 2
Reguläre Mengen, reguläre Ausdrücke und endliche Automaten . 3
Minimierung endlicher Automaten. 14
Zur Realisierung der lexikalischen Analyse. 22
Die Syntaxanalyse. 23
Kontextfreie Grammatiken. 24
Kellerautomaten. 29
Normalformen für kontextfreie Grammatiken. 44
Eigenschaften von kontextfreien Sprachen. 52
Das Pumping-Lemma . 53
Abschlusseigenschaften . 55
Ergänzende Übungsaufgaben. 56
Literaturhinweise. 58
Theoretische Berechenbarkeit 60
Der Begriff des Algorithmus. 60
Die
Turingmaschinen. 68
Entscheidbarkeit und Aufzählbarkeit. 81
Ergänzende Übungsaufgaben. 85
Literaturhinweise. 85
Praktische Berechenbarkeit 87
Die Random Access Maschine. 87
Die Sprachklassen
NP-vollständige Probleme. 98
Kryptographie . 117
Public-Key Kryptosysteme
Zero-Knowledge
Ergänzende Übungsaufgaben. 127
Literaturhinweise. 128
VI
4
4.1 Die Entropie . 130
4.2 Einführung in die Kodierungstheorie. 145
4.3 Ergänzende Übungsaufgaben. 156
4.4 Literaturhinweise. 157
5 Die algorithmische Informationstheorie 159
5.1 Die Kolmogorov-Komplexität. 159
5.2 Bedingte Kolmogorov-Komplexität. 168
5.3 Nichtkomprimierbare
5.4 Ergänzende Übungsaufgaben . 180
5.5 Literaturhinweise. 181
6 Binäre Zufallsfolgen 182
6.1 Unendliche Zufallsfolgen. 182
6.2 Endliche Zufallsfolgen. 211
6.3 Ergänzende Übungsaufgaben. 212
6.4 Literaturhinweise. 212
7 Induktive Inferenz 214
7.1 Ein universelles induktives Inferenzsy
7.2 Induktive Inferenzsysteme unter Verwendung von MDL und
'7.3 Eine Theorie der Ähnlichkeit. 223
7.4 Literaturhinweise. 228
б
8.1 Lernen von Booleschen Ausdrücken. 230
8.2 Ockham's Rasiermesserprinzip. 236
8.3 Samplekomplexität von PAC-Lernalgorithmen . 239
8.4 Ergänzende Übungsaufgaben. 247
8.5 Literaturhinweise. 248
Literaturverzeichnis 249
Index 255 |
| adam_txt |
Inhaltsverzeichnis
Vorwort
Automatentheorie und Formale Sprachen 1
Die lexikalische Analyse. 2
Reguläre Mengen, reguläre Ausdrücke und endliche Automaten . 3
Minimierung endlicher Automaten. 14
Zur Realisierung der lexikalischen Analyse. 22
Die Syntaxanalyse. 23
Kontextfreie Grammatiken. 24
Kellerautomaten. 29
Normalformen für kontextfreie Grammatiken. 44
Eigenschaften von kontextfreien Sprachen. 52
Das Pumping-Lemma . 53
Abschlusseigenschaften . 55
Ergänzende Übungsaufgaben. 56
Literaturhinweise. 58
Theoretische Berechenbarkeit 60
Der Begriff des Algorithmus. 60
Die
Turingmaschinen. 68
Entscheidbarkeit und Aufzählbarkeit. 81
Ergänzende Übungsaufgaben. 85
Literaturhinweise. 85
Praktische Berechenbarkeit 87
Die Random Access Maschine. 87
Die Sprachklassen
NP-vollständige Probleme. 98
Kryptographie . 117
Public-Key Kryptosysteme
Zero-Knowledge
Ergänzende Übungsaufgaben. 127
Literaturhinweise. 128
VI
4
4.1 Die Entropie . 130
4.2 Einführung in die Kodierungstheorie. 145
4.3 Ergänzende Übungsaufgaben. 156
4.4 Literaturhinweise. 157
5 Die algorithmische Informationstheorie 159
5.1 Die Kolmogorov-Komplexität. 159
5.2 Bedingte Kolmogorov-Komplexität. 168
5.3 Nichtkomprimierbare
5.4 Ergänzende Übungsaufgaben . 180
5.5 Literaturhinweise. 181
6 Binäre Zufallsfolgen 182
6.1 Unendliche Zufallsfolgen. 182
6.2 Endliche Zufallsfolgen. 211
6.3 Ergänzende Übungsaufgaben. 212
6.4 Literaturhinweise. 212
7 Induktive Inferenz 214
7.1 Ein universelles induktives Inferenzsy
7.2 Induktive Inferenzsysteme unter Verwendung von MDL und
'7.3 Eine Theorie der Ähnlichkeit. 223
7.4 Literaturhinweise. 228
б
8.1 Lernen von Booleschen Ausdrücken. 230
8.2 Ockham's Rasiermesserprinzip. 236
8.3 Samplekomplexität von PAC-Lernalgorithmen . 239
8.4 Ergänzende Übungsaufgaben. 247
8.5 Literaturhinweise. 248
Literaturverzeichnis 249
Index 255 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Blum, Norbert 1954- |
| author_GND | (DE-588)129018562 |
| author_facet | Blum, Norbert 1954- |
| author_role | aut |
| author_sort | Blum, Norbert 1954- |
| author_variant | n b nb |
| building | Verbundindex |
| bvnumber | BV021817145 |
| classification_rvk | ST 130 ST 134 ST 136 |
| ctrlnum | (OCoLC)162231187 (DE-599)BVBBV021817145 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV021817145</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20071016</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">061120s2007 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">981691420</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3486274333</subfield><subfield code="9">3-486-27433-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783486274332</subfield><subfield code="9">978-3-486-27433-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)162231187</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021817145</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">XA-DE-BY</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-859</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-B768</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 134</subfield><subfield code="0">(DE-625)143590:</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Blum, Norbert</subfield><subfield code="d">1954-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)129018562</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie</subfield><subfield code="c">von Norbert Blum</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München [u.a.]</subfield><subfield code="b">Oldenbourg</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 260 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 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="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 249 - 255</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">Informationstheorie</subfield><subfield code="0">(DE-588)4026927-9</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="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">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><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="2"><subfield code="a">Informationstheorie</subfield><subfield code="0">(DE-588)4026927-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=2867902&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau</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=015029345&sequence=000003&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-015029345</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV021817145 |
| illustrated | Illustrated |
| index_date | 2024-07-02T15:52:50Z |
| indexdate | 2024-07-20T09:09:18Z |
| institution | BVB |
| isbn | 3486274333 9783486274332 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015029345 |
| oclc_num | 162231187 |
| open_access_boolean | |
| owner | DE-859 DE-19 DE-BY-UBM DE-12 DE-210 DE-20 DE-473 DE-BY-UBG DE-29T DE-824 DE-739 DE-1051 DE-573 DE-703 DE-706 DE-634 DE-83 DE-11 DE-B768 |
| owner_facet | DE-859 DE-19 DE-BY-UBM DE-12 DE-210 DE-20 DE-473 DE-BY-UBG DE-29T DE-824 DE-739 DE-1051 DE-573 DE-703 DE-706 DE-634 DE-83 DE-11 DE-B768 |
| physical | VIII, 260 S. graph. Darst. 24 cm |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Oldenbourg |
| record_format | marc |
| spelling | Blum, Norbert 1954- Verfasser (DE-588)129018562 aut Einführung in formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie von Norbert Blum München [u.a.] Oldenbourg 2007 VIII, 260 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Literaturverz. S. 249 - 255 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 Informationstheorie (DE-588)4026927-9 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf (DE-588)4123623-3 Lehrbuch gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Formale Sprache (DE-588)4017848-1 s Berechenbarkeit (DE-588)4138368-0 s Informationstheorie (DE-588)4026927-9 s Automatentheorie (DE-588)4003953-5 s text/html http://deposit.dnb.de/cgi-bin/dokserv?id=2867902&prov=M&dok_var=1&dok_ext=htm Inhaltstext Digitalisierung UB Passau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015029345&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Blum, Norbert 1954- Einführung in formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie Automatentheorie (DE-588)4003953-5 gnd Theoretische Informatik (DE-588)4196735-5 gnd Formale Sprache (DE-588)4017848-1 gnd Informationstheorie (DE-588)4026927-9 gnd Berechenbarkeit (DE-588)4138368-0 gnd |
| subject_GND | (DE-588)4003953-5 (DE-588)4196735-5 (DE-588)4017848-1 (DE-588)4026927-9 (DE-588)4138368-0 (DE-588)4123623-3 |
| title | Einführung in formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie |
| title_auth | Einführung in formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie |
| title_exact_search | Einführung in formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie |
| title_exact_search_txtP | Einführung in formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie |
| title_full | Einführung in formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie von Norbert Blum |
| title_fullStr | Einführung in formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie von Norbert Blum |
| title_full_unstemmed | Einführung in formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie von Norbert Blum |
| title_short | Einführung in formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie |
| title_sort | einfuhrung in formale sprachen berechenbarkeit informations und lerntheorie |
| topic | Automatentheorie (DE-588)4003953-5 gnd Theoretische Informatik (DE-588)4196735-5 gnd Formale Sprache (DE-588)4017848-1 gnd Informationstheorie (DE-588)4026927-9 gnd Berechenbarkeit (DE-588)4138368-0 gnd |
| topic_facet | Automatentheorie Theoretische Informatik Formale Sprache Informationstheorie Berechenbarkeit Lehrbuch |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=2867902&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015029345&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT blumnorbert einfuhrunginformalesprachenberechenbarkeitinformationsundlerntheorie |