Abstract
Amorphous computing differs from the classical ideas about computations almost in every aspect. The architecture of amorphous computers is random, since they consist of a plethora of identical computational units spread randomly over a given area. Within a limited radius the units can communicate wirelessly with their neighbors via a single-channel radio. We consider a model whose assumptions on the underlying computing and communication abilities are among the weakest possible: all computational units are finite state probabilistic automata working asynchronously, there is no broadcasting collision detection mechanism and no network addresses. We show that under reasonable probabilistic assumptions non-uniform families of such amorphous computers can possess universal computing power with a high probability. To the best of our knowledge this is the first result showing the universality of such computing systems.
This research was carried out within the institutional research plan AV0Z10300504 and partially supported by the GA ČR grant No. 1ET100300517 and GD201/05/ H014.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abelson, H., Allen, D., Coore, Ch., Hanson, G., Homsy, T.F., Knight Jr, R., Nagpal, E., Rauch, G.J., Sussman, R.: Weiss.: Amorphous Computing. Communications of the ACM 43(5), 74–82 (2000)
Abelson, H., et al.: Amorphous Computing. MIT Artificial Intelligence Laboratory Memo No. 1665, August (1999)
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)
D’Hondt, E.: Exploring the Amorphous Computing Paradigm. Master’s Thesis, Vrije University (2000)
Nikoletseas, S.: Models and Algortihms for Wireless Sensor Networks (Smart Dust). In: Wiedermann, J. (ed.) SOFSEM 2006. LNCS, vol. 3831, pp. 65–83. Springer, Heidelberg (2007)
Petru, L., Wiedermann, J.: A Model of an Amorphous Computer and its Communication Protocol. In: Proc. SOFSEM’07. LNCS, vol. 4362, Springer, Berlin (2007)
Spirakis, P.G.: Algorithmic and Foundational Aspects of Sensor Systems (Invited Talk). In: Nikoletseas, S.E., Rolim, J.D.P. (eds.) ALGOSENSORS 2004. LNCS, vol. 3121, pp. 3–8. Springer, Heidelberg (2004)
Warneke, B., et al.: Smart dust: communicating with a cubic-millimeter computer. Computer 34(1), 44–51 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wiedermann, J., Petru, L. (2007). Computability in Amorphous Structures. In: Cooper, S.B., Löwe, B., Sorbi, A. (eds) Computation and Logic in the Real World. CiE 2007. Lecture Notes in Computer Science, vol 4497. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73001-9_83
Download citation
DOI: https://doi.org/10.1007/978-3-540-73001-9_83
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73000-2
Online ISBN: 978-3-540-73001-9
eBook Packages: Computer ScienceComputer Science (R0)