Communicating Mobile Nano-Machines and Their Computational Power

Autoři: prof. RNDr. Jiří Wiedermann, DSc.
Rok vydání: 2009
Typ publikace: Konferenční příspěvek (mezinárodní konf.)
Periodikum: Nano-Net. Revised Selected Papers
Projekty: Inteligentní modely, algoritmy, metody a nástroje pro vytváření sémantického webu
Collegium Informaticum
Bibliografická citace: WIEDERMANN, Jiří, PETRŮ, L. Communicating Mobile Nano-Machines and Their Computational Power. In: CHENG, M., ed. Nano-Net. Revised Selected Papers. Berlin: Springer, 2009, S. 123-130. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 3. ISBN 978-3-642-02426-9
Dostupné z: doi:10.1007/978-3-642-02427-6_21
DOI: 10.1007/978-3-642-02427-6_21
ID: 327440

Abstrakt

A computational model of molecularly communicating mobile nanomachines is defined. Nanomachines are modeled by a variant of finite-state automata - so-called timed probabilistic automata - augmented by a severely restricted communication mechanism capturing the main features of molecular communication. We show that for molecular communication among such motile machines an asynchronous stochastic protocol originally designed for wireless (radio) communication in so-called amorphous computers with static computational units can also be used. We design an algorithm that using the previous protocol, randomness and timing delays selects with a high probability a leader from among sets of anonymous candidates. This enables a probabilistic simulation of one of the simplest known model of a programmable computer - so-called counter automaton - proving that networks of mobile nanomachines possess universal computing power.