All-in-One: Space-Time Body, Function and Metric — A Fundamentally New Approach to Computation

Hermann von Issendorff

Institut für Netzwerkprogrammierung, Hemmoor, Germany.

DOI: 10.4236/ijcns.2013.65029                

Abstract

Every algorithm which can be executed on a computer can at least in principle be realized in hardware, i.e. by a discrete physical system. The problem is that up to now there is no programming language by which physical systems can constructively be described. Such tool, however, is essential for the compact description and automatic production of complex systems. This paper introduces a programming language, called Akton-Algebra, which provides the foundation for the complete description of discrete physical systems. The approach originates from the finding that every discrete physical system reduces to a spatiotemporal topological network of nodes, if the functional and metric properties are deleted. A next finding is that there exists a homeomorphism between the topological network and a sequence of symbols representing a program by which the original nodal network can be reconstructed. Providing Akton-Algebra with functionality turns it into a flow-controlled general data processing language, which by introducing clock control and addressing can be further transformed into a classical programming language. Providing Akton-Algebra with metrics, i.e. the shape and size of the components, turns it into a novel hardware system construction language.

Keywords

Topological space, Dataflow Machine, Many-Sorted Logic, DNA Programming, Layout Simplification

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	K. A. Dill, S. B. Ozkan, M. S. Shell, T. R. Weikl, “The Protein Folding Problem,” Annual Review of Biophysics,Vol. 37, 2002, pp. 289-316.
[2]	M. Hazewinkel, "Homeomorphism," Encyclopedia of Mathematics, Springer, Berlin, 2001.
[3]	S. Abramski, B. Coecke, “Physics from Computer Science,” International Journal of Unconventional Computing, Vol. 3, No. 3, 2007, pp. 179-197.
[4]	H. von Issendorff, “Algebraic Description of Physical Systems,” In: R. Moreno-Diaz, B. Buchberger and J. Freire, Eds., Computer Aided Systems Theory, Lecture Notes in Computer Science, Vol. 2178, 2001, pp. 110-124.
[5]	P. W. O’Hearn, H. Yang and J. C. Reynolds, “Separation and Information Hiding,” ACM ACM Symposium on Principles of Programming Languages, 2004, pp. 268-280.
[6]	B. Alberts et al.: “Molecular Biology of the Cell,” Garland Publishing, New York, 2012, pp.1-46.
[7]	D. Jansen et al., “The Electronic Design Automation Handbook,” Kluwer Academic Publishers, Elsevier,2003,pp. 33-40.
[8]	W. M. Johnston, J. R. P. Hanna and R. J.Millar, “Advances in Dataflow Programming Languages,” ACM Computing Surveys, Vol. 36, No. 1, 2004, pp. 1-34.