Computing with Cells and Atoms: An Introduction to Quantum, DNA and Membrane ComputingCRC Press, 26 Okt 2000 - 320 halaman At the turning of the millennium, a switch in computing technology is forecasted and looked for. Two main directions of research, both based on quite unconventional ideas are most promising - quantum computing and molecular computing. In the last few years, both of these methods have been intensely investigated. The present book is the first "friendly" presentation of basic ideas in these exciting areas. The style is rigorous, but without entering into excessive technicalities. Equal attention is paid to the main practical results reported so far and the main theoretical developments. The book is written for the educated layman and is self-contained, including all the necessary facts from mathematics, computer science, biology and quantum mechanics. |
Edisi yang lain - Lihat semua
Computing with Cells and Atoms: An Introduction to Quantum, DNA and Membrane ... Cris Calude,Gheorghe Paun Pratinjau tidak tersedia - 2000 |
Computing with Cells and Atoms: An Introduction to Quantum, DNA and Membrane ... Cris Calude,Gheorghe Paun Pratinjau tidak tersedia - 2000 |
Istilah dan frasa umum
algorithm alphabet annealing appearance checking associated automata axioms Boolean catalysts Church-Turing Thesis circular permutation classical complete component computably enumerable languages configuration consider construct copies corresponding defined denote deterministic dissolved distributed H systems DNA computing DNA molecules double stranded encoded enzymes evolution rules family of languages finite automaton finite set gate grammar G graph halting Hamiltonian path problem hence Hilbert space initial input introduced iterated L₁ label Lemma m₁ matrix measurement membrane structure molecules multiset N₁ nonterminal nucleotides objects obtained occurrence operation output membrane pair particle permutation possible probabilistic Turing machine problem produced proof Quantum Computing quantum gates qubit R₁ region regular language result rule of type sentential form simulated skin membrane splicing rules step sticker systems sticky ends stranded sequences string symbol system of degree Theorem transformation truth assignments Turing machine upper strand vectors Zeno machines