Verfügbarkeit: DNA computing | Technische Universität München

DNA computing: new computing paradigms

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Păun, Gheorghe 1950- (VerfasserIn), Rozenberg, Grzegorz 1942- (VerfasserIn), Salomaa, Arto 1934- (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Berlin [u.a.] Springer 1998
Schriftenreihe:	Texts in theoretical computer science
Schlagwörter:	ADN - Informatique Automatentheorie DNA-computers Formele talen Ordinateurs moléculaires automate Watson-Crick génie moléculaire langage formel ordinateur moléculaire Molecular computers Biocomputer Datenverarbeitung DNS
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008110067&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Beschreibung:	Hier auch später erschienene, unveränderte Nachdrucke
Umfang:	IX, 402 S. graph. Darst.
ISBN:	3540641963

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV011984833
003	DE-604
005	20220913
007	t\|
008	980526s1998 xx d\|\|\| \|\|\|\| 00\|\|\| eng d
016	7		\|a 953389871 \|2 DE-101
020			\|a 3540641963 \|c Pp. : ca. DM 78.00 \|9 3-540-64196-3
035			\|a (OCoLC)39033254
035			\|a (DE-599)BVBBV011984833
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-355 \|a DE-739 \|a DE-29T \|a DE-M49 \|a DE-20 \|a DE-703 \|a DE-19 \|a DE-706 \|a DE-634 \|a DE-83 \|a DE-11 \|a DE-188
050		0	\|a QA76.887
082	0		\|a 511.3 \|2 21
084			\|a ST 152 \|0 (DE-625)143596: \|2 rvk
084			\|a WC 3420 \|0 (DE-625)148084: \|2 rvk
084			\|a WD 5360 \|0 (DE-625)148202: \|2 rvk
084			\|a DAT 168f \|2 stub
084			\|a BIO 220f \|2 stub
084			\|a CHE 860f \|2 stub
084			\|a BIO 180f \|2 stub
100	1		\|a Păun, Gheorghe \|d 1950- \|e Verfasser \|0 (DE-588)140913912 \|4 aut
245	1	0	\|a DNA computing \|b new computing paradigms \|c G. Păun ; G. Rozenberg ; A. Salomaa
264		1	\|a Berlin [u.a.] \|b Springer \|c 1998
300			\|a IX, 402 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Texts in theoretical computer science
500			\|a Hier auch später erschienene, unveränderte Nachdrucke
650		7	\|a ADN - Informatique \|2 ram
650		7	\|a Automatentheorie \|2 gtt
650		7	\|a DNA-computers \|2 gtt
650		7	\|a Formele talen \|2 gtt
650		4	\|a Ordinateurs moléculaires
650		7	\|a Ordinateurs moléculaires \|2 ram
650		7	\|a automate Watson-Crick \|2 inriac
650		7	\|a génie moléculaire \|2 inriac
650		7	\|a langage formel \|2 inriac
650		7	\|a ordinateur moléculaire \|2 inriac
650		4	\|a Molecular computers
650	0	7	\|a Biocomputer \|0 (DE-588)4270224-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Datenverarbeitung \|0 (DE-588)4011152-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a DNS \|0 (DE-588)4070512-2 \|2 gnd \|9 rswk-swf
689	0	0	\|a DNS \|0 (DE-588)4070512-2 \|D s
689	0	1	\|a Datenverarbeitung \|0 (DE-588)4011152-0 \|D s
689	0		\|5 DE-604
689	1	0	\|a DNS \|0 (DE-588)4070512-2 \|D s
689	1	1	\|a Biocomputer \|0 (DE-588)4270224-0 \|D s
689	1		\|5 DE-604
700	1		\|a Rozenberg, Grzegorz \|d 1942- \|e Verfasser \|0 (DE-588)1079124624 \|4 aut
700	1		\|a Salomaa, Arto \|d 1934- \|e Verfasser \|0 (DE-588)121031764 \|4 aut
856	4	2	\|m Digitalisierung UB Passau - ADAM Catalogue Enrichment \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008110067&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-008110067

Datensatz im Suchindex

DE-BY-TUM_call_number	1001 10.1999 A 12
DE-BY-TUM_katkey	1023905
DE-BY-TUM_location	Mag
DE-BY-TUM_media_number	040003066284
_version_	1821931529967763456
adam_text	Contents Introduction: DNA Computing in a Nutshell 1 Part I: Background and Motivation 7 1 DNA: Its Structure and Processing 1.1 The Structure of DNA................................................................. 1.2 Operations on DNA Molecules .................................................. 1.3 Reading out the Sequence........................................................... 1.4 Bibliographical Notes.................................................................... 9 9 19 36 40 Beginnings of Molecular Computing 2.1 Adleman’s Experiment................................................................. 2.2 Can We Solve the Satisfiability Problem and Break the DES Code?............................................................................................. 2.3 Paradigm of Computing - Some Rethinking............................ 2.4 DNA Computing: Hopes and Warnings .................................. 43 43 2 Part II: Mathematical Theory 50 65 71 75 3 Introduction to Formal Language Theory 77 3.1 Basic Notions, Grammars, Automata, Grammar Systems . . 77 3.2 Characterizations of Recursively Enumerable Languages ... 98 3.3 Universal Turing Machines and Type-0 Grammars......... 107 3.4 Bibliographical Notes.............................................................. 116 4 Sticker Systems 117 4.1 The Operation of Sticking..................................................... 117 4.2 Sticker Systems; Classifications........................................... 122 4.3 The Generative Capacity of Sticker Systems...................... 127 4.4 Representations of Regular and Linear Languages............. 136 4.5 Characterizations of Recursively Enumerable Languages . . . 139 4.6 More About Regular Sticker Systems.................................. 142 4.7 Bibliographical Notes.............................................................. 149 Contents VIII 5 Watson—Crick Automata 5.1 5.2 5.3 5.4 5.5 5.6 5.7 5.8 6 Insertion-Deletion Systems 6.1 6.2 6.3 6.4 6.5 8 9 217 From DNA Recombination to the Splicing Operation......... 217 Non-Iterated Splicing as an Operation with Languages .... 221 Iterated Splicing as an Operation with Languages................ 229 Extended H Systems; Generative Power............................. 241 Simple H Systems ........................................................................ 249 Bibliographical Notes............................................................... 255 Universality by Finite H Systems 8.1 8.2 8.3 8.4 8.5 8.6 8.7 8.8 187 Inserting-Deleting in the DNA Framework.......................... 187 Characterizations of Recursively Enumerable Languages . . . 189 One Symbol Insertion-Deletion Systems............................. 200 Using Only Insertion............................................................... 206 Bibliographical Notes............................................................... 215 7 Splicing Systems 7.1 7.2 7.3 7.4 7.5 7.6 151 Watson-Crick Finite Automata............................................. 152 Relationships Between the WK Families............................. 155 Characterizations of Recursively Enumerable Languages . . . 162 Watson-Crick Finite Transducers......................................... 166 Further Variants of Watson-Crick Finite Automata........... 168 Watson-Crick Automata with a Watson-Crick Memory . . . 174 Universality Results for Watson-Crick Automata.............. 180 Bibliographical Notes.................................................................... 186 257 Using 2-Splicing Instead of l֊Splicing................................... 257 Permitting and Forbidding Contexts................................... 259 Target Languages...................................................................... 270 Programmed and Evolving Systems...................................... 275 H Systems Based on Double Splicing................................... 287 Multisets ....................................................................................... 290 Universality Results............................................................... 298 Bibliographical Notes............................................................... 303 Splicing Circular Strings 305 9.1 Variants of the Splicing Operation for Circular Strings .... 305 9.2 One Further Variant and its Power............................................ 309 9.3 Bibliographical Notes.................................................................... 318 10 Distributed H Systems 10.1 10.2 10.3 10.4 Splicing Grammar Systems........................................................ Communicating Distributed H Systems .................................. Two-Level Distributed H Systems............................................... Time-Varying Distributed H Systems......................................... 319 319 329 339 346 Contents 10.5 Summary of Computationally Complete H Systems 10.6 Bibliographical Notes..................................... .................................. IX 352 _ оӘо 11 Splicing Revisited 11.1 Restricted Splicing; The Non-Iterated Case 11.2 Replication Systems........................................ 11.3 Bibliographical Notes........................................ Bibliography Index 381 396
any_adam_object	1
author	Păun, Gheorghe 1950- Rozenberg, Grzegorz 1942- Salomaa, Arto 1934-
author_GND	(DE-588)140913912 (DE-588)1079124624 (DE-588)121031764
author_facet	Păun, Gheorghe 1950- Rozenberg, Grzegorz 1942- Salomaa, Arto 1934-
author_role	aut aut aut
author_sort	Păun, Gheorghe 1950-
author_variant	g p gp g r gr a s as
building	Verbundindex
bvnumber	BV011984833
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.887
callnumber-search	QA76.887
callnumber-sort	QA 276.887
callnumber-subject	QA - Mathematics
classification_rvk	ST 152 WC 3420 WD 5360
classification_tum	DAT 168f BIO 220f CHE 860f BIO 180f
ctrlnum	(OCoLC)39033254 (DE-599)BVBBV011984833
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	Chemie / Pharmazie Biologie Informatik Mathematik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02634nam a2200673 c 4500</leader><controlfield tag="001">BV011984833</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220913 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">980526s1998 xx d\|\|\| \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">953389871</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540641963</subfield><subfield code="c">Pp. : ca. DM 78.00</subfield><subfield code="9">3-540-64196-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)39033254</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011984833</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-355</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-M49</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-19</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-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.887</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 152</subfield><subfield code="0">(DE-625)143596:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">WC 3420</subfield><subfield code="0">(DE-625)148084:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">WD 5360</subfield><subfield code="0">(DE-625)148202:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 168f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">BIO 220f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CHE 860f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">BIO 180f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Păun, Gheorghe</subfield><subfield code="d">1950-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)140913912</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">DNA computing</subfield><subfield code="b">new computing paradigms</subfield><subfield code="c">G. Păun ; G. Rozenberg ; A. Salomaa</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 402 S.</subfield><subfield code="b">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">Texts in theoretical computer science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Hier auch später erschienene, unveränderte Nachdrucke</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">ADN - Informatique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">DNA-computers</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Formele talen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ordinateurs moléculaires</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs moléculaires</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">automate Watson-Crick</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">génie moléculaire</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage formel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">ordinateur moléculaire</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Molecular computers</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Biocomputer</subfield><subfield code="0">(DE-588)4270224-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">DNS</subfield><subfield code="0">(DE-588)4070512-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">DNS</subfield><subfield code="0">(DE-588)4070512-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</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">DNS</subfield><subfield code="0">(DE-588)4070512-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Biocomputer</subfield><subfield code="0">(DE-588)4270224-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rozenberg, Grzegorz</subfield><subfield code="d">1942-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1079124624</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" 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="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau - ADAM Catalogue Enrichment</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=008110067&sequence=000001&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-008110067</subfield></datafield></record></collection>
id	DE-604.BV011984833
illustrated	Illustrated
indexdate	2024-12-20T10:22:16Z
institution	BVB
isbn	3540641963
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-008110067
oclc_num	39033254
open_access_boolean
owner	DE-355 DE-BY-UBR DE-739 DE-29T DE-M49 DE-BY-TUM DE-20 DE-703 DE-19 DE-BY-UBM DE-706 DE-634 DE-83 DE-11 DE-188
owner_facet	DE-355 DE-BY-UBR DE-739 DE-29T DE-M49 DE-BY-TUM DE-20 DE-703 DE-19 DE-BY-UBM DE-706 DE-634 DE-83 DE-11 DE-188
physical	IX, 402 S. graph. Darst.
publishDate	1998
publishDateSearch	1998
publishDateSort	1998
publisher	Springer
record_format	marc
series2	Texts in theoretical computer science
spellingShingle	Păun, Gheorghe 1950- Rozenberg, Grzegorz 1942- Salomaa, Arto 1934- DNA computing new computing paradigms ADN - Informatique ram Automatentheorie gtt DNA-computers gtt Formele talen gtt Ordinateurs moléculaires Ordinateurs moléculaires ram automate Watson-Crick inriac génie moléculaire inriac langage formel inriac ordinateur moléculaire inriac Molecular computers Biocomputer (DE-588)4270224-0 gnd Datenverarbeitung (DE-588)4011152-0 gnd DNS (DE-588)4070512-2 gnd
subject_GND	(DE-588)4270224-0 (DE-588)4011152-0 (DE-588)4070512-2
title	DNA computing new computing paradigms
title_auth	DNA computing new computing paradigms
title_exact_search	DNA computing new computing paradigms
title_full	DNA computing new computing paradigms G. Păun ; G. Rozenberg ; A. Salomaa
title_fullStr	DNA computing new computing paradigms G. Păun ; G. Rozenberg ; A. Salomaa
title_full_unstemmed	DNA computing new computing paradigms G. Păun ; G. Rozenberg ; A. Salomaa
title_short	DNA computing
title_sort	dna computing new computing paradigms
title_sub	new computing paradigms
topic	ADN - Informatique ram Automatentheorie gtt DNA-computers gtt Formele talen gtt Ordinateurs moléculaires Ordinateurs moléculaires ram automate Watson-Crick inriac génie moléculaire inriac langage formel inriac ordinateur moléculaire inriac Molecular computers Biocomputer (DE-588)4270224-0 gnd Datenverarbeitung (DE-588)4011152-0 gnd DNS (DE-588)4070512-2 gnd
topic_facet	ADN - Informatique Automatentheorie DNA-computers Formele talen Ordinateurs moléculaires automate Watson-Crick génie moléculaire langage formel ordinateur moléculaire Molecular computers Biocomputer Datenverarbeitung DNS
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008110067&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT paungheorghe dnacomputingnewcomputingparadigms AT rozenberggrzegorz dnacomputingnewcomputingparadigms AT salomaaarto dnacomputingnewcomputingparadigms

Verfügbarkeit

Bestellen (Login erforderlich)

Inhaltsverzeichnis
Paper/Kapitel scannen lassen

Bibliotheksmagazin

Bestandsangaben von Bibliotheksmagazin
Signatur:	1001 10.1999 A 12 Lageplan
Exemplar 1	Ausleihbar Am Standort