Models of computation: an introduction to computability theory
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
London [u.a.]
Springer
2009
|
| Schriftenreihe: | Undergraduate Topics in Computer Science
|
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017330411&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | XI, 184 S. Ill., graph. Darst. |
| ISBN: | 9781848824331 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035409885 | ||
| 003 | DE-604 | ||
| 005 | 20140617 | ||
| 007 | t| | ||
| 008 | 090403s2009 xx ad|| |||| 00||| eng d | ||
| 015 | |a 09,N06,0018 |2 dnb | ||
| 016 | 7 | |a 992147883 |2 DE-101 | |
| 020 | |a 9781848824331 |c PB. : ca. EUR 37.40 (freier Pr.) |9 978-1-84882-433-1 | ||
| 024 | 3 | |a 9781848824331 | |
| 028 | 5 | 2 | |a 12578160 |
| 035 | |a (OCoLC)310400710 | ||
| 035 | |a (DE-599)DNB992147883 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-20 |a DE-824 |a DE-29T |a DE-703 |a DE-11 |a DE-83 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 511.3 |2 22 | |
| 084 | |a ST 134 |0 (DE-625)143590: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Fernández, Maribel |e Verfasser |0 (DE-588)1052229956 |4 aut | |
| 245 | 1 | 0 | |a Models of computation |b an introduction to computability theory |c Maribel Fernandez |
| 264 | 1 | |a London [u.a.] |b Springer |c 2009 | |
| 300 | |a XI, 184 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Undergraduate Topics in Computer Science | |
| 650 | 4 | |a Computable functions | |
| 650 | 4 | |a Turing machines | |
| 650 | 0 | 7 | |a Turing-Maschine |0 (DE-588)4203525-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnungstheorie |0 (DE-588)4005581-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Berechnungstheorie |0 (DE-588)4005581-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Turing-Maschine |0 (DE-588)4203525-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Bayreuth |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017330411&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017330411 | |
Datensatz im Suchindex
| _version_ | 1819368610884222976 |
|---|---|
| adam_text | Contents
1.
Introduction
................................................ 1
1.1 Models
of computation
....................................
З
1.2
Some non-computable functions
............................ 4
1.3
Further reading
.......................................... 7
1.4
Exercises
................................................ 7
Part I. Traditional Models of Computation
2.
Automata and Turing Machines
............................ 11
2.1
Formal languages and automata
............................ 12
2.2
Finite automata
.......................................... 13
2.2.1
Deterministic and non-deterministic automata
......... 16
2.2.2
The power of finite automata
........................ 18
2.3
Push-down automata
..................................... 20
2.4
Turing machines
.......................................... 23
2.4.1
Variants of Turing machines
......................... 28
2.4.2
The universal Turing machine
........................ 29
2.5
Imperative programming
.................................. 29
2.6
Further reading
.......................................... 30
2.7
Exercises
................................................ 31
3.
The Lambda Calculus
...................................... 33
3.1
A-calculus: Syntax
........................................ 34
3.2
Computation
............................................ 38
3.2.1
Substitution
....................................... 40
x
Contents
3.2.2 Normal
forms
...................................... 42
3.2.3
Properties of reductions
............................. 43
3.2.4
Reduction strategies
................................ 44
3.3
Arithmetic functions
...................................... 45
3.4
Booleans
................................................ 46
3.5
Recursion
............................................... 48
3.6
Functional programming
.................................. 49
3.7
Further reading
.......................................... 50
3.8
Exercises
................................................ 50
4.
Recursive Functions
........................................ 55
4.1
Primitive recursive functions
............................... 56
4.2
Partial recursive functions
................................. 61
4.3
Programming with functions
............................... 63
4.4
Further reading
.......................................... 67
4.5
Exercises
................................................ 67
5.
Logic-Based Models of Computation
........................ 69
5.1
The Herbrand universe
.................................... 69
5.2
Logic programs
........................................... 70
5.2.1
Answers
........................................... 73
5.3
Computing with logic programs
............................ 76
5.3.1
Unification
........................................ 76
5.3.2
The Principle of Resolution
.......................... 79
5.4
Prolog and the logic programming paradigm
................. 84
5.5
Further reading
.......................................... 86
5.6
Exercises
................................................ 86
Part II. Modern Models of Computation
6.
Computing with Objects
.................................... 93
6.1
Object calculus: Syntax
................................... 94
6.2
Reduction rules
.......................................... 96
6.3
Computation power
....................................... 98
6.4
Object-oriented programming
.............................. 99
6.5
Combining objects and functions
...........................101
6.6
Further reading
..........................................104
6.7
Exercises
.................................... ........104
Contents xi
7.
Interaction-Based
Models
of Computation
..................107
7.1
The paradigm of interaction
...............................107
7.2
Numbers and arithmetic operations
.........................
Ill
7.3
Turing completeness
......................................114
7.4
More examples: Lists
.....................................115
7.5
Combinatore
for interaction nets
...........................117
7.6
Textual languages and strategies for interaction nets
..........118
7.6.1
A textual interaction calculus
........................120
7.6.2
Properties of the calculus
............................125
7.6.3
Normal forms and strategies
.........................126
7.7
Extensions to model non-determinism
.......................127
7.8
Further reading
..........................................129
7.9
Exercises
................................................130
8.
Concurrency
................................................131
8.1
Specifying concurrent systems
..............................134
8.2
Simulation and bisimulation
...............................137
8.3
A language to write processes
..............................139
8.4
A language for communicating processes
.....................142
8.5
Another view of concurrency:
The chemical metaphor
...................................147
8.6
Further reading
..........................................147
8.7
Exercises
................................................148
9.
Emergent Models of Computation
..........................151
9.1
Bio-computing
...........................................152
9.1.1
Membrane calculi
..................................152
9.1.2
Protein interaction calculi
...........................153
9.2
Quantum computing
......................................154
9.3
Further reading
..........................................157
10.
Answers to Selected Exercises
..............................159
Bibliography
....................................................179
Index
...........................................................183
|
| any_adam_object | 1 |
| author | Fernández, Maribel |
| author_GND | (DE-588)1052229956 |
| author_facet | Fernández, Maribel |
| author_role | aut |
| author_sort | Fernández, Maribel |
| author_variant | m f mf |
| building | Verbundindex |
| bvnumber | BV035409885 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267 |
| callnumber-search | QA267 |
| callnumber-sort | QA 3267 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 134 |
| ctrlnum | (OCoLC)310400710 (DE-599)DNB992147883 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01816nam a2200481 c 4500</leader><controlfield tag="001">BV035409885</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140617 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090403s2009 xx ad|| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N06,0018</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">992147883</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781848824331</subfield><subfield code="c">PB. : ca. EUR 37.40 (freier Pr.)</subfield><subfield code="9">978-1-84882-433-1</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9781848824331</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12578160</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)310400710</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB992147883</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Fernández, Maribel</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1052229956</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Models of computation</subfield><subfield code="b">an introduction to computability theory</subfield><subfield code="c">Maribel Fernandez</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 184 S.</subfield><subfield code="b">Ill., 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">Undergraduate Topics in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computable functions</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Turing machines</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Turing-Maschine</subfield><subfield code="0">(DE-588)4203525-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</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">Turing-Maschine</subfield><subfield code="0">(DE-588)4203525-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bayreuth</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=017330411&sequence=000002&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-017330411</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV035409885 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T13:31:52Z |
| institution | BVB |
| isbn | 9781848824331 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017330411 |
| oclc_num | 310400710 |
| open_access_boolean | |
| owner | DE-20 DE-824 DE-29T DE-703 DE-11 DE-83 |
| owner_facet | DE-20 DE-824 DE-29T DE-703 DE-11 DE-83 |
| physical | XI, 184 S. Ill., graph. Darst. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series2 | Undergraduate Topics in Computer Science |
| spellingShingle | Fernández, Maribel Models of computation an introduction to computability theory Computable functions Turing machines Turing-Maschine (DE-588)4203525-9 gnd Berechnungstheorie (DE-588)4005581-4 gnd |
| subject_GND | (DE-588)4203525-9 (DE-588)4005581-4 (DE-588)4151278-9 |
| title | Models of computation an introduction to computability theory |
| title_auth | Models of computation an introduction to computability theory |
| title_exact_search | Models of computation an introduction to computability theory |
| title_full | Models of computation an introduction to computability theory Maribel Fernandez |
| title_fullStr | Models of computation an introduction to computability theory Maribel Fernandez |
| title_full_unstemmed | Models of computation an introduction to computability theory Maribel Fernandez |
| title_short | Models of computation |
| title_sort | models of computation an introduction to computability theory |
| title_sub | an introduction to computability theory |
| topic | Computable functions Turing machines Turing-Maschine (DE-588)4203525-9 gnd Berechnungstheorie (DE-588)4005581-4 gnd |
| topic_facet | Computable functions Turing machines Turing-Maschine Berechnungstheorie Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017330411&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT fernandezmaribel modelsofcomputationanintroductiontocomputabilitytheory |