An introduction to formal languages and machine computation:
This book provides a concise and modern introduction to Formal Languages and Machine Computation, a group of disparate topics in the theory of computation, which includes formal languages, automata theory, turing machines, computability, complexity, number-theoretic computation, public-key cryptogra...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Singapore
World Scientific Pub. Co.
c1998
|
| Subjects: | |
| Online Access: | FHN01 Volltext |
| Summary: | This book provides a concise and modern introduction to Formal Languages and Machine Computation, a group of disparate topics in the theory of computation, which includes formal languages, automata theory, turing machines, computability, complexity, number-theoretic computation, public-key cryptography, and some new models of computation, such as quantum and biological computation. As the theory of computation is a subject based on mathematics, a thorough introduction to a number of relevant mathematical topics, including mathematical logic, set theory, graph theory, modern abstract algebra, and particularly number theory, is given in the first chapter of the book. The book can be used either as a textbook for an undergraduate course, for a first-year graduate course, or as a basic reference in the field |
| Physical Description: | xvii, 400 p. ill |
| ISBN: | 9789812817495 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044636639 | ||
| 003 | DE-604 | ||
| 005 | 20200701 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 171120s1998 |||| o||u| ||||||eng d | ||
| 020 | |a 9789812817495 |9 978-981-281-749-5 | ||
| 024 | 7 | |a 10.1142/2659 |2 doi | |
| 035 | |a (ZDB-124-WOP)00002659 | ||
| 035 | |a (OCoLC)1012702559 | ||
| 035 | |a (DE-599)BVBBV044636639 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-92 | ||
| 082 | 0 | |a 004/.01/51 |2 22 | |
| 084 | |a ST 136 |0 (DE-625)143591: |2 rvk | ||
| 100 | 1 | |a Yan, Song Y. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a An introduction to formal languages and machine computation |c Song Y. Yan |
| 246 | 1 | 3 | |a Formal languages and machine computation |
| 264 | 1 | |a Singapore |b World Scientific Pub. Co. |c c1998 | |
| 300 | |a xvii, 400 p. |b ill | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 520 | |a This book provides a concise and modern introduction to Formal Languages and Machine Computation, a group of disparate topics in the theory of computation, which includes formal languages, automata theory, turing machines, computability, complexity, number-theoretic computation, public-key cryptography, and some new models of computation, such as quantum and biological computation. As the theory of computation is a subject based on mathematics, a thorough introduction to a number of relevant mathematical topics, including mathematical logic, set theory, graph theory, modern abstract algebra, and particularly number theory, is given in the first chapter of the book. The book can be used either as a textbook for an undergraduate course, for a first-year graduate course, or as a basic reference in the field | ||
| 650 | 4 | |a Formal languages | |
| 650 | 4 | |a Machine theory | |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 0 | 1 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789810221676 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9810234228 |
| 856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/2659#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
| 912 | |a ZDB-124-WOP | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030034612 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://www.worldscientific.com/worldscibooks/10.1142/2659#t=toc |l FHN01 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804178051219587072 |
|---|---|
| any_adam_object | |
| author | Yan, Song Y. |
| author_facet | Yan, Song Y. |
| author_role | aut |
| author_sort | Yan, Song Y. |
| author_variant | s y y sy syy |
| building | Verbundindex |
| bvnumber | BV044636639 |
| classification_rvk | ST 136 |
| collection | ZDB-124-WOP |
| ctrlnum | (ZDB-124-WOP)00002659 (OCoLC)1012702559 (DE-599)BVBBV044636639 |
| dewey-full | 004/.01/51 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.01/51 |
| dewey-search | 004/.01/51 |
| dewey-sort | 14 11 251 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02638nmm a2200481zc 4500</leader><controlfield tag="001">BV044636639</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200701 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s1998 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812817495</subfield><subfield code="9">978-981-281-749-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/2659</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00002659</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012702559</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044636639</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.01/51</subfield><subfield code="2">22</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="100" ind1="1" ind2=" "><subfield code="a">Yan, Song Y.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">An introduction to formal languages and machine computation</subfield><subfield code="c">Song Y. Yan</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Formal languages and machine computation</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific Pub. Co.</subfield><subfield code="c">c1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xvii, 400 p.</subfield><subfield code="b">ill</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="520" ind1=" " ind2=" "><subfield code="a">This book provides a concise and modern introduction to Formal Languages and Machine Computation, a group of disparate topics in the theory of computation, which includes formal languages, automata theory, turing machines, computability, complexity, number-theoretic computation, public-key cryptography, and some new models of computation, such as quantum and biological computation. As the theory of computation is a subject based on mathematics, a thorough introduction to a number of relevant mathematical topics, including mathematical logic, set theory, graph theory, modern abstract algebra, and particularly number theory, is given in the first chapter of the book. The book can be used either as a textbook for an undergraduate course, for a first-year graduate course, or as a basic reference in the field</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</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">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="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="1"><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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9789810221676</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9810234228</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/2659#t=toc</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveroeffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-124-WOP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030034612</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="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/2659#t=toc</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-124-WOP</subfield><subfield code="q">FHN_PDA_WOP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044636639 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:57:49Z |
| institution | BVB |
| isbn | 9789812817495 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030034612 |
| oclc_num | 1012702559 |
| open_access_boolean | |
| owner | DE-92 |
| owner_facet | DE-92 |
| physical | xvii, 400 p. ill |
| psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | World Scientific Pub. Co. |
| record_format | marc |
| spelling | Yan, Song Y. Verfasser aut An introduction to formal languages and machine computation Song Y. Yan Formal languages and machine computation Singapore World Scientific Pub. Co. c1998 xvii, 400 p. ill txt rdacontent c rdamedia cr rdacarrier This book provides a concise and modern introduction to Formal Languages and Machine Computation, a group of disparate topics in the theory of computation, which includes formal languages, automata theory, turing machines, computability, complexity, number-theoretic computation, public-key cryptography, and some new models of computation, such as quantum and biological computation. As the theory of computation is a subject based on mathematics, a thorough introduction to a number of relevant mathematical topics, including mathematical logic, set theory, graph theory, modern abstract algebra, and particularly number theory, is given in the first chapter of the book. The book can be used either as a textbook for an undergraduate course, for a first-year graduate course, or as a basic reference in the field Formal languages Machine theory Formale Sprache (DE-588)4017848-1 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Formale Sprache (DE-588)4017848-1 s Theoretische Informatik (DE-588)4196735-5 s 1\p DE-604 Erscheint auch als Druck-Ausgabe 9789810221676 Erscheint auch als Druck-Ausgabe 9810234228 http://www.worldscientific.com/worldscibooks/10.1142/2659#t=toc Verlag URL des Erstveroeffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Yan, Song Y. An introduction to formal languages and machine computation Formal languages Machine theory Formale Sprache (DE-588)4017848-1 gnd Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4017848-1 (DE-588)4196735-5 |
| title | An introduction to formal languages and machine computation |
| title_alt | Formal languages and machine computation |
| title_auth | An introduction to formal languages and machine computation |
| title_exact_search | An introduction to formal languages and machine computation |
| title_full | An introduction to formal languages and machine computation Song Y. Yan |
| title_fullStr | An introduction to formal languages and machine computation Song Y. Yan |
| title_full_unstemmed | An introduction to formal languages and machine computation Song Y. Yan |
| title_short | An introduction to formal languages and machine computation |
| title_sort | an introduction to formal languages and machine computation |
| topic | Formal languages Machine theory Formale Sprache (DE-588)4017848-1 gnd Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Formal languages Machine theory Formale Sprache Theoretische Informatik |
| url | http://www.worldscientific.com/worldscibooks/10.1142/2659#t=toc |
| work_keys_str_mv | AT yansongy anintroductiontoformallanguagesandmachinecomputation AT yansongy formallanguagesandmachinecomputation |