Formale Sprachen:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Deutsch |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1978
|
| Schlagwörter: | |
| Links: | https://doi.org/10.1007/978-3-642-67081-7 |
| Beschreibung: | In diesem Buch wird eine Theorie der formalen Sprachen vom Standpunkt der Erzeugungsverfahren, hauptsächlich der Grammatiken aus entwickelt. Erkennungsverfahren, also Automaten, werden nur als eine zweite Möglichkeit eingeführt und im Rahmen von Ersetzungssystemen vorgestellt. Das Hauptgewicht liegt auf den mathematischen Aspekten der formalen Sprachen und nicht auf ihren Anwendungen. Wer nur an Anwendungen auf Programmiersprachen (bzw. natürliche Sprachen) interessiert ist, würde sicherlich eine ausführlichere Diskussion von Themen wie LR(k)-Grammatiken (bzw. Transformationsgrammatiken) bevorzugen. Solche Diskussionen liegen außerhalb des Rahmens dieses Buches. Wir vermeiden unnötige Abstraktionen, da von Seiten des Lesers keine tieferen mathematischen Kenntnisse verlangt werden. Es wird nur vorausgesetzt, daß der Leser mit den grundlegendsten Begriffen der Algebra und der Logik vertraut ist. Es sind keine Vorkenntnisse über formale Sprachen erforderlich. Das Niveau der Darstellung entspricht dem Stoffkurz nach dem Vordiplom. Das Buch ist in sich abgeschlossen, so daß man keine weiteren Quellen für die Beweise von Ergebnissen benötigt, die als Sätze formuliert sind. Einige weitere Ergebnisse werden bisweilen ohne Beweis angeführt, hauptsächlich als Behauptungen oder in den Bemerkungen im Anschluß an einige Abschnitte. Selbstverständlich werden diese Ergebnisse in den Beweisen späterer Sätze nicht verwendet. Es wurde auch versucht, die jüngsten Ergebnisse mit einzubeziehen. Danksagungen Teile des Manuskriptes für dieses Buch wurden als Unterlagen für Vorlesungen verwendet, die an den Universitäten von Aarhus (Danemark), Turku (Finnland), Uppsala (Schweden) und Western Ontario (London, Canada) gehalten wurden. Ich möchte den Teilnehmern dieser Vorlesungen danken |
| Umfang: | 1 Online-Ressource (XII, 316 S.) |
| ISBN: | 9783642670817 9783540090304 |
| DOI: | 10.1007/978-3-642-67081-7 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042432826 | ||
| 003 | DE-604 | ||
| 005 | 20220114 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1978 xx o|||| 00||| ger d | ||
| 020 | |a 9783642670817 |c Online |9 978-3-642-67081-7 | ||
| 020 | |a 9783540090304 |c Print |9 978-3-540-09030-4 | ||
| 024 | 7 | |a 10.1007/978-3-642-67081-7 |2 doi | |
| 035 | |a (OCoLC)863799942 | ||
| 035 | |a (DE-599)BVBBV042432826 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 004 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a TEC 000 |2 stub | ||
| 100 | 1 | |a Salomaa, Arto |d 1934- |e Verfasser |0 (DE-588)121031764 |4 aut | |
| 245 | 1 | 0 | |a Formale Sprachen |c von Arto K. Salomaa |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1978 | |
| 300 | |a 1 Online-Ressource (XII, 316 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a In diesem Buch wird eine Theorie der formalen Sprachen vom Standpunkt der Erzeugungsverfahren, hauptsächlich der Grammatiken aus entwickelt. Erkennungsverfahren, also Automaten, werden nur als eine zweite Möglichkeit eingeführt und im Rahmen von Ersetzungssystemen vorgestellt. Das Hauptgewicht liegt auf den mathematischen Aspekten der formalen Sprachen und nicht auf ihren Anwendungen. Wer nur an Anwendungen auf Programmiersprachen (bzw. natürliche Sprachen) interessiert ist, würde sicherlich eine ausführlichere Diskussion von Themen wie LR(k)-Grammatiken (bzw. Transformationsgrammatiken) bevorzugen. Solche Diskussionen liegen außerhalb des Rahmens dieses Buches. Wir vermeiden unnötige Abstraktionen, da von Seiten des Lesers keine tieferen mathematischen Kenntnisse verlangt werden. Es wird nur vorausgesetzt, daß der Leser mit den grundlegendsten Begriffen der Algebra und der Logik vertraut ist. Es sind keine Vorkenntnisse über formale Sprachen erforderlich. Das Niveau der Darstellung entspricht dem Stoffkurz nach dem Vordiplom. Das Buch ist in sich abgeschlossen, so daß man keine weiteren Quellen für die Beweise von Ergebnissen benötigt, die als Sätze formuliert sind. Einige weitere Ergebnisse werden bisweilen ohne Beweis angeführt, hauptsächlich als Behauptungen oder in den Bemerkungen im Anschluß an einige Abschnitte. Selbstverständlich werden diese Ergebnisse in den Beweisen späterer Sätze nicht verwendet. Es wurde auch versucht, die jüngsten Ergebnisse mit einzubeziehen. Danksagungen Teile des Manuskriptes für dieses Buch wurden als Unterlagen für Vorlesungen verwendet, die an den Universitäten von Aarhus (Danemark), Turku (Finnland), Uppsala (Schweden) und Western Ontario (London, Canada) gehalten wurden. Ich möchte den Teilnehmern dieser Vorlesungen danken | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Computer Science, general | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-67081-7 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI | ||
| 912 | |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 883 | 1 | |8 1\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-027868157 | |
Datensatz im Suchindex
| DE-BY-TUM_katkey | 2075864 |
|---|---|
| _version_ | 1821931450705903617 |
| any_adam_object | |
| author | Salomaa, Arto 1934- |
| author_GND | (DE-588)121031764 |
| author_facet | Salomaa, Arto 1934- |
| author_role | aut |
| author_sort | Salomaa, Arto 1934- |
| author_variant | a s as |
| building | Verbundindex |
| bvnumber | BV042432826 |
| classification_tum | DAT 000 TEC 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863799942 (DE-599)BVBBV042432826 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-642-67081-7 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03371nam a2200469zc 4500</leader><controlfield tag="001">BV042432826</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220114 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1978 xx o|||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642670817</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-67081-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540090304</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-09030-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-67081-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863799942</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042432826</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Salomaa, Arto</subfield><subfield code="d">1934-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)121031764</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formale Sprachen</subfield><subfield code="c">von Arto K. Salomaa</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1978</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 316 S.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">In diesem Buch wird eine Theorie der formalen Sprachen vom Standpunkt der Erzeugungsverfahren, hauptsächlich der Grammatiken aus entwickelt. Erkennungsverfahren, also Automaten, werden nur als eine zweite Möglichkeit eingeführt und im Rahmen von Ersetzungssystemen vorgestellt. Das Hauptgewicht liegt auf den mathematischen Aspekten der formalen Sprachen und nicht auf ihren Anwendungen. Wer nur an Anwendungen auf Programmiersprachen (bzw. natürliche Sprachen) interessiert ist, würde sicherlich eine ausführlichere Diskussion von Themen wie LR(k)-Grammatiken (bzw. Transformationsgrammatiken) bevorzugen. Solche Diskussionen liegen außerhalb des Rahmens dieses Buches. Wir vermeiden unnötige Abstraktionen, da von Seiten des Lesers keine tieferen mathematischen Kenntnisse verlangt werden. Es wird nur vorausgesetzt, daß der Leser mit den grundlegendsten Begriffen der Algebra und der Logik vertraut ist. Es sind keine Vorkenntnisse über formale Sprachen erforderlich. Das Niveau der Darstellung entspricht dem Stoffkurz nach dem Vordiplom. Das Buch ist in sich abgeschlossen, so daß man keine weiteren Quellen für die Beweise von Ergebnissen benötigt, die als Sätze formuliert sind. Einige weitere Ergebnisse werden bisweilen ohne Beweis angeführt, hauptsächlich als Behauptungen oder in den Bemerkungen im Anschluß an einige Abschnitte. Selbstverständlich werden diese Ergebnisse in den Beweisen späterer Sätze nicht verwendet. Es wurde auch versucht, die jüngsten Ergebnisse mit einzubeziehen. Danksagungen Teile des Manuskriptes für dieses Buch wurden als Unterlagen für Vorlesungen verwendet, die an den Universitäten von Aarhus (Danemark), Turku (Finnland), Uppsala (Schweden) und Western Ontario (London, Canada) gehalten wurden. Ich möchte den Teilnehmern dieser Vorlesungen danken</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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="689" ind1="0" 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="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-67081-7</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027868157</subfield></datafield></record></collection> |
| id | DE-604.BV042432826 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T17:11:05Z |
| institution | BVB |
| isbn | 9783642670817 9783540090304 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027868157 |
| oclc_num | 863799942 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
| physical | 1 Online-Ressource (XII, 316 S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive |
| publishDate | 1978 |
| publishDateSearch | 1978 |
| publishDateSort | 1978 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| spellingShingle | Salomaa, Arto 1934- Formale Sprachen Computer science Computer Science Computer Science, general Informatik Formale Sprache (DE-588)4017848-1 gnd |
| subject_GND | (DE-588)4017848-1 |
| title | Formale Sprachen |
| title_auth | Formale Sprachen |
| title_exact_search | Formale Sprachen |
| title_full | Formale Sprachen von Arto K. Salomaa |
| title_fullStr | Formale Sprachen von Arto K. Salomaa |
| title_full_unstemmed | Formale Sprachen von Arto K. Salomaa |
| title_short | Formale Sprachen |
| title_sort | formale sprachen |
| topic | Computer science Computer Science Computer Science, general Informatik Formale Sprache (DE-588)4017848-1 gnd |
| topic_facet | Computer science Computer Science Computer Science, general Informatik Formale Sprache |
| url | https://doi.org/10.1007/978-3-642-67081-7 |
| work_keys_str_mv | AT salomaaarto formalesprachen |