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.
This work was partially supported by RVO 67985807 and the GA ČR grant No. P202/10/1333.
Chapter PDF
References
Abelson, H., et al.: Amorphous Computing. MIT Artificial Intelligence Laboratory Memo No. 1665 (August 1999)
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)
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)
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)
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)
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)
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)
Minsky, M.: Computation: Finite and Infinite Machines. Prentice-Hall (1967)
Petrů, L.: Universality in Amorphous Computing. PhD Disseration Thesis. Dept. of Math. and Physics, Charles University, Prague (2009)
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)
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)
Sailor, M.J., Link, J.R.: Smart dust: nanostructured devices in a grain of sand. Chemical Communications 11, 1375 (2005)
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)
Warneke, B., Last, M., Liebowitz, B., Pister, K.S.J.: Smart Dust: communicating with a cubic-millimeter computer. Computer 34(1), 44–51 (2001)
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)
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)
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
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 IFIP International Federation for Information Processing
About this paper
Cite this paper
Wiedermann, J. (2012). Computability and Non-computability Issues in Amorphous Computing. In: Baeten, J.C.M., Ball, T., de Boer, F.S. (eds) Theoretical Computer Science. TCS 2012. Lecture Notes in Computer Science, vol 7604. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33475-7_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-33475-7_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33474-0
Online ISBN: 978-3-642-33475-7
eBook Packages: Computer ScienceComputer Science (R0)