Halbgruppen und Automaten:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1971
|
| Schriftenreihe: | Heidelberger Taschenbücher, Sammlung Informatik
99 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Die Theorie der Automaten gehört zum theoretischen Teil der Informatik, obgleich sie in ihren Anfängen von durchaus praktischen Problemstellungen ausging, nämlich der Untersu chung des funktionellen Verhaltens mehr oder minder umfäng licher Verbindungen von Schaltelementen, der Schaltwerke. Die Theorie jedoch entfaltete ihr Eigenleben und es ergaben sich im Laufe der Zeit vielfältige Beziehungen zu anderen Gebieten. So ist heute die Automatentheorie ebenso im Zusam menhang mit der Theorie der Berechenbarkeit und Entscheid barkeit zu sehen, wie mit der Theorie der formalen Sprachen, und gerade hier hat das Modell des Automaten auch praktische Bedeutung dadurch erlangt, daß mit seiner Hilfe eine Reihe von Algorithmen effizient formuliert werden konnten. Neben dieser Auffassung des Automaten als eine Klasse von Algorithmen ist der Automat in erster Linie ein algebraisches Gebilde, eine Algebra im weiteren Sinne. Aussagen alge braischer Art werden in allen Anwendungsbereichen von Auto maten benötigt, auch läßt sich die Verwandtschaft zwischen Automaten und Schaltwerken in natürlicher Weise durch den algebraischen Begriff der Darstellung ausdrücken. Dieser Betrachtungsweise des Automaten widmet sich das vor liegende Buch ausschließlich. Der üblichen algebraischen Methodik folgend ergab sich die Forderung nach einer basisfreien, d.h. ohne Bezugnahme auf Erzeugendensysteme auskommenden Definition des Automaten, die in Abschnitt 13 motiviert wird. Mit der Basisfreiheit werden nicht nur viele Zusammenhänge durchsichtiger, sie legt darüberhinaus eine natürliche Verallgemeinerung des Automaten auf beliebige Ein- und Ausgabehalbgruppen nahe |
| Beschreibung: | 1 Online-Ressource (VI, 200 S.) |
| ISBN: | 9783642652752 9783540056065 |
| ISSN: | 0073-1684 |
| DOI: | 10.1007/978-3-642-65275-2 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042432801 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1971 |||| o||u| ||||||ger d | ||
| 020 | |a 9783642652752 |c Online |9 978-3-642-65275-2 | ||
| 020 | |a 9783540056065 |c Print |9 978-3-540-05606-5 | ||
| 024 | 7 | |a 10.1007/978-3-642-65275-2 |2 doi | |
| 035 | |a (OCoLC)863799878 | ||
| 035 | |a (DE-599)BVBBV042432801 | ||
| 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 Deussen, Peter |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Halbgruppen und Automaten |c von Peter Deussen |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1971 | |
| 300 | |a 1 Online-Ressource (VI, 200 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Heidelberger Taschenbücher, Sammlung Informatik |v 99 |x 0073-1684 | |
| 500 | |a Die Theorie der Automaten gehört zum theoretischen Teil der Informatik, obgleich sie in ihren Anfängen von durchaus praktischen Problemstellungen ausging, nämlich der Untersu chung des funktionellen Verhaltens mehr oder minder umfäng licher Verbindungen von Schaltelementen, der Schaltwerke. Die Theorie jedoch entfaltete ihr Eigenleben und es ergaben sich im Laufe der Zeit vielfältige Beziehungen zu anderen Gebieten. So ist heute die Automatentheorie ebenso im Zusam menhang mit der Theorie der Berechenbarkeit und Entscheid barkeit zu sehen, wie mit der Theorie der formalen Sprachen, und gerade hier hat das Modell des Automaten auch praktische Bedeutung dadurch erlangt, daß mit seiner Hilfe eine Reihe von Algorithmen effizient formuliert werden konnten. Neben dieser Auffassung des Automaten als eine Klasse von Algorithmen ist der Automat in erster Linie ein algebraisches Gebilde, eine Algebra im weiteren Sinne. Aussagen alge braischer Art werden in allen Anwendungsbereichen von Auto maten benötigt, auch läßt sich die Verwandtschaft zwischen Automaten und Schaltwerken in natürlicher Weise durch den algebraischen Begriff der Darstellung ausdrücken. Dieser Betrachtungsweise des Automaten widmet sich das vor liegende Buch ausschließlich. Der üblichen algebraischen Methodik folgend ergab sich die Forderung nach einer basisfreien, d.h. ohne Bezugnahme auf Erzeugendensysteme auskommenden Definition des Automaten, die in Abschnitt 13 motiviert wird. Mit der Basisfreiheit werden nicht nur viele Zusammenhänge durchsichtiger, sie legt darüberhinaus eine natürliche Verallgemeinerung des Automaten auf beliebige Ein- und Ausgabehalbgruppen nahe | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Computer Science, general | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Automat |0 (DE-588)4003949-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatentheorie |0 (DE-588)4003953-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theorie |0 (DE-588)4059787-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Halbgruppe |0 (DE-588)4022990-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Automat |0 (DE-588)4003949-3 |D s |
| 689 | 0 | 1 | |a Theorie |0 (DE-588)4059787-8 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Halbgruppe |0 (DE-588)4022990-7 |D s |
| 689 | 1 | 1 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-65275-2 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027868132 | ||
| 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_ | 1804153117418192896 |
|---|---|
| any_adam_object | |
| author | Deussen, Peter |
| author_facet | Deussen, Peter |
| author_role | aut |
| author_sort | Deussen, Peter |
| author_variant | p d pd |
| building | Verbundindex |
| bvnumber | BV042432801 |
| classification_tum | DAT 000 TEC 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863799878 (DE-599)BVBBV042432801 |
| 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-65275-2 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03721nmm a2200565zcb4500</leader><controlfield tag="001">BV042432801</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1971 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642652752</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-65275-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540056065</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-05606-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-65275-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863799878</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042432801</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">Deussen, Peter</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Halbgruppen und Automaten</subfield><subfield code="c">von Peter Deussen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1971</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VI, 200 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="490" ind1="0" ind2=" "><subfield code="a">Heidelberger Taschenbücher, Sammlung Informatik</subfield><subfield code="v">99</subfield><subfield code="x">0073-1684</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Die Theorie der Automaten gehört zum theoretischen Teil der Informatik, obgleich sie in ihren Anfängen von durchaus praktischen Problemstellungen ausging, nämlich der Untersu chung des funktionellen Verhaltens mehr oder minder umfäng licher Verbindungen von Schaltelementen, der Schaltwerke. Die Theorie jedoch entfaltete ihr Eigenleben und es ergaben sich im Laufe der Zeit vielfältige Beziehungen zu anderen Gebieten. So ist heute die Automatentheorie ebenso im Zusam menhang mit der Theorie der Berechenbarkeit und Entscheid barkeit zu sehen, wie mit der Theorie der formalen Sprachen, und gerade hier hat das Modell des Automaten auch praktische Bedeutung dadurch erlangt, daß mit seiner Hilfe eine Reihe von Algorithmen effizient formuliert werden konnten. Neben dieser Auffassung des Automaten als eine Klasse von Algorithmen ist der Automat in erster Linie ein algebraisches Gebilde, eine Algebra im weiteren Sinne. Aussagen alge braischer Art werden in allen Anwendungsbereichen von Auto maten benötigt, auch läßt sich die Verwandtschaft zwischen Automaten und Schaltwerken in natürlicher Weise durch den algebraischen Begriff der Darstellung ausdrücken. Dieser Betrachtungsweise des Automaten widmet sich das vor liegende Buch ausschließlich. Der üblichen algebraischen Methodik folgend ergab sich die Forderung nach einer basisfreien, d.h. ohne Bezugnahme auf Erzeugendensysteme auskommenden Definition des Automaten, die in Abschnitt 13 motiviert wird. Mit der Basisfreiheit werden nicht nur viele Zusammenhänge durchsichtiger, sie legt darüberhinaus eine natürliche Verallgemeinerung des Automaten auf beliebige Ein- und Ausgabehalbgruppen nahe</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">Automat</subfield><subfield code="0">(DE-588)4003949-3</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">Theorie</subfield><subfield code="0">(DE-588)4059787-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Halbgruppe</subfield><subfield code="0">(DE-588)4022990-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automat</subfield><subfield code="0">(DE-588)4003949-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Theorie</subfield><subfield code="0">(DE-588)4059787-8</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="689" ind1="1" ind2="0"><subfield code="a">Halbgruppe</subfield><subfield code="0">(DE-588)4022990-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><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=" "><subfield code="8">2\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-65275-2</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027868132</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> |
| id | DE-604.BV042432801 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:30Z |
| institution | BVB |
| isbn | 9783642652752 9783540056065 |
| issn | 0073-1684 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027868132 |
| oclc_num | 863799878 |
| 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 (VI, 200 S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive |
| publishDate | 1971 |
| publishDateSearch | 1971 |
| publishDateSort | 1971 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Heidelberger Taschenbücher, Sammlung Informatik |
| spelling | Deussen, Peter Verfasser aut Halbgruppen und Automaten von Peter Deussen Berlin, Heidelberg Springer Berlin Heidelberg 1971 1 Online-Ressource (VI, 200 S.) txt rdacontent c rdamedia cr rdacarrier Heidelberger Taschenbücher, Sammlung Informatik 99 0073-1684 Die Theorie der Automaten gehört zum theoretischen Teil der Informatik, obgleich sie in ihren Anfängen von durchaus praktischen Problemstellungen ausging, nämlich der Untersu chung des funktionellen Verhaltens mehr oder minder umfäng licher Verbindungen von Schaltelementen, der Schaltwerke. Die Theorie jedoch entfaltete ihr Eigenleben und es ergaben sich im Laufe der Zeit vielfältige Beziehungen zu anderen Gebieten. So ist heute die Automatentheorie ebenso im Zusam menhang mit der Theorie der Berechenbarkeit und Entscheid barkeit zu sehen, wie mit der Theorie der formalen Sprachen, und gerade hier hat das Modell des Automaten auch praktische Bedeutung dadurch erlangt, daß mit seiner Hilfe eine Reihe von Algorithmen effizient formuliert werden konnten. Neben dieser Auffassung des Automaten als eine Klasse von Algorithmen ist der Automat in erster Linie ein algebraisches Gebilde, eine Algebra im weiteren Sinne. Aussagen alge braischer Art werden in allen Anwendungsbereichen von Auto maten benötigt, auch läßt sich die Verwandtschaft zwischen Automaten und Schaltwerken in natürlicher Weise durch den algebraischen Begriff der Darstellung ausdrücken. Dieser Betrachtungsweise des Automaten widmet sich das vor liegende Buch ausschließlich. Der üblichen algebraischen Methodik folgend ergab sich die Forderung nach einer basisfreien, d.h. ohne Bezugnahme auf Erzeugendensysteme auskommenden Definition des Automaten, die in Abschnitt 13 motiviert wird. Mit der Basisfreiheit werden nicht nur viele Zusammenhänge durchsichtiger, sie legt darüberhinaus eine natürliche Verallgemeinerung des Automaten auf beliebige Ein- und Ausgabehalbgruppen nahe Computer science Computer Science Computer Science, general Informatik Automat (DE-588)4003949-3 gnd rswk-swf Automatentheorie (DE-588)4003953-5 gnd rswk-swf Theorie (DE-588)4059787-8 gnd rswk-swf Halbgruppe (DE-588)4022990-7 gnd rswk-swf Automat (DE-588)4003949-3 s Theorie (DE-588)4059787-8 s 1\p DE-604 Halbgruppe (DE-588)4022990-7 s Automatentheorie (DE-588)4003953-5 s 2\p DE-604 https://doi.org/10.1007/978-3-642-65275-2 Verlag Volltext 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 | Deussen, Peter Halbgruppen und Automaten Computer science Computer Science Computer Science, general Informatik Automat (DE-588)4003949-3 gnd Automatentheorie (DE-588)4003953-5 gnd Theorie (DE-588)4059787-8 gnd Halbgruppe (DE-588)4022990-7 gnd |
| subject_GND | (DE-588)4003949-3 (DE-588)4003953-5 (DE-588)4059787-8 (DE-588)4022990-7 |
| title | Halbgruppen und Automaten |
| title_auth | Halbgruppen und Automaten |
| title_exact_search | Halbgruppen und Automaten |
| title_full | Halbgruppen und Automaten von Peter Deussen |
| title_fullStr | Halbgruppen und Automaten von Peter Deussen |
| title_full_unstemmed | Halbgruppen und Automaten von Peter Deussen |
| title_short | Halbgruppen und Automaten |
| title_sort | halbgruppen und automaten |
| topic | Computer science Computer Science Computer Science, general Informatik Automat (DE-588)4003949-3 gnd Automatentheorie (DE-588)4003953-5 gnd Theorie (DE-588)4059787-8 gnd Halbgruppe (DE-588)4022990-7 gnd |
| topic_facet | Computer science Computer Science Computer Science, general Informatik Automat Automatentheorie Theorie Halbgruppe |
| url | https://doi.org/10.1007/978-3-642-65275-2 |
| work_keys_str_mv | AT deussenpeter halbgruppenundautomaten |