Advertisement

Computability and Non-computability Issues in Amorphous Computing

  • Jiří Wiedermann
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7604)

Abstract

Amorphous computing systems consist of a huge set of tiny simple stationary or mobile processors whose computational, communication and sensory part is reduced to an absolute minimum. In an airborne medium the processors communicate via a short-range radio while in a waterborne medium via molecular communication. In some cases the computational part of the processors can be simplified down to finite state automata or even combinatorial circuits and the system as a whole can still possess universal computational power with a high probability. We will argue that the amorphous systems belong among the simplest (non-uniform) universal computational devices. On the other hand, it is questionable as to what extent the standard universal models of computation can faithfully capture the behavior of amorphous computing systems whose functionality also depends on the non-computational and/or unpredictable operations of certain parts of the entire system.

Keywords

Cellular Automaton Quorum Sensing Turing Machine Combinatorial Circuit Unbounded Number 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    Abelson, H., et al.: Amorphous Computing. MIT Artificial Intelligence Laboratory Memo No. 1665 (August 1999)Google Scholar
  2. 2.
    Abelson, H., Allen, D., Coore, D., Hanson, Ch., Homsy, G., Knight Jr., T.F., Nagpal, R., Rauch, E., Sussman, G.J., Weiss, R.: Amorphous Computing. Communications of the ACM 43(5), 74–82 (2000)CrossRefGoogle Scholar
  3. 3.
    Nagy, N., Akl, S.G.: Time inderterminacy, non-universality in computation, and the demise of the Church-Turing thesis, School of Computing, Queen’s University, Kingston, Ontario. Technical Report No. 2011-580, August 19, 27 p. (2011)Google Scholar
  4. 4.
    Arvind, D.K., Wong, K.J.: Speckled Computing - A Disruptive Technology for Network Information Appliances. In: Proc. IEEE International Symposium on Consumer Electronics (ISCE 2004), pp. 219–223 (2004)Google Scholar
  5. 5.
    Coore, D.: Introduction to Amorphous Computing. In: Banâtre, J.-P., Fradet, P., Giavitto, J.-L., Michel, O. (eds.) UPP 2004. LNCS, vol. 3566, pp. 99–109. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  6. 6.
    Kahn, J.M., Katz, R.H., Pister, K.S.J.: Next century challenges: mobile networking for “Smart Dust”. In: Proceedings of the 5th Annual ACM/IEEE International Conference on Mobile Computing and Networking, MobiCom 1999, pp. 271–278. ACM (August 1999)Google Scholar
  7. 7.
    Kahn, J.M., Katz, R.H., Pister, K.S.J.: Emerging Challenges: Mobile Networking for Smart Dust. Journal of Communications and Networks 2, 188–196 (2000)Google Scholar
  8. 8.
    Minsky, M.: Computation: Finite and Infinite Machines. Prentice-Hall (1967)Google Scholar
  9. 9.
    Petrů, L.: Universality in Amorphous Computing. PhD Disseration Thesis. Dept. of Math. and Physics, Charles University, Prague (2009)Google Scholar
  10. 10.
    Petrů, L., Wiedermann, J.: A Model of an Amorphous Computer and Its Communication Protocol. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Plášil, F. (eds.) SOFSEM 2007. LNCS, vol. 4362, pp. 446–455. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  11. 11.
    Petrů, L., Wiedermann, J.: A Universal Flying Amorphous Computer. In: Calude, C.S., Kari, J., Petre, I., Rozenberg, G. (eds.) UC 2011. LNCS, vol. 6714, pp. 189–200. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  12. 12.
    Sailor, M.J., Link, J.R.: Smart dust: nanostructured devices in a grain of sand. Chemical Communications 11, 1375 (2005)CrossRefGoogle Scholar
  13. 13.
    Shah, S.C., Chandio, F.H., Park, M.: Speckled Computing: Evolution and Challenges. In: Proc. IEEE International Conference on Future Networks, pp. 181–185 (2009)Google Scholar
  14. 14.
    Warneke, B., Last, M., Liebowitz, B., Pister, K.S.J.: Smart Dust: communicating with a cubic-millimeter computer. Computer 34(1), 44–51 (2001)CrossRefGoogle Scholar
  15. 15.
    Wiedermann, J., Petru, L.: Computability in Amorphous Structures. In: Cooper, S.B., Löwe, B., Sorbi, A. (eds.) CiE 2007. LNCS, vol. 4497, pp. 781–790. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  16. 16.
    Wiedermann, J., Petrů, L.: Communicating Mobile Nano-Machines and Their Computational Power. In: Cheng, M. (ed.) NanoNet 2008. LNICST, vol. 3, pp. 123–130. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  17. 17.
    Wiedermann, J., Petrů, L.: On the Universal Computing Power of Amorphous Computing Systems. Theory of Computing Systems 46(4), 995–1010 (2009), http://www.springerlink.com/content/k2x6266k78274m05/fulltext.pdf CrossRefGoogle Scholar
  18. 18.
    Wiedermann, J.: Nanomachine Computing by Quorum Sensing. In: Kelemen, J., Kelemenová, A. (eds.) Pǎun Festschrift. LNCS, vol. 6610, pp. 203–215. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  19. 19.
    Wiedermann, J.: The Many Forms of Amorphous Computational Systems. In: Zenil, H. (ed.) A Computable Universe: Understanding and Exploring Nature As Computation. World Scientific Publishing Company (to appear, 2012)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2012

Authors and Affiliations

  • Jiří Wiedermann
    • 1
  1. 1.Institute of Computer ScienceAcademy of Sciences of the Czech RepublicPrague 8Czech Republic

Personalised recommendations