Unconventional Computer Programming
نویسنده
چکیده
Classical computing has well-established formalisms forspecifying, refining, composing, proving, and otherwise reasoningabout computations. These formalisms have matured over the past70 years or so.Unconventional Computing includes the use novel kinds of sub-strates – from black holes and quantum effects, through to chem-icals, biomolecules, even slime moulds – to perform computationsthat do not conform to the classical model. Although many of thesesubstrates can be “tortured” to perform classical computation, this isnot how they “naturally” compute.Our ability to exploit unconventional computing is partly ham-pered by a lack of corresponding programming formalisms: we needmodels for building, composing, and reasoning about programs thatexecute in these substrates. What might, say, a slime mould program-ming language look like?Here I outline some of the issues and properties of these uncon-ventional substrates that need to be addressed to find “natural” ap-proaches to programming them. Important concepts include embod-ied real values, processes and dynamical systems, generative systemsand their meta-dynamics, and embodied self-reference.
منابع مشابه
Unconventional and Nested Computations in Spatial Computing
Modern programming languages allow the definition and the use of arbitrary nested data structures but this is not generally considered in unconventional programming models. In this paper, we present arbitrary nested topological collections in MGS, a spatial computing language. By considering different classes of neighborhood relationships, MGS can emulate several unconventional computing models...
متن کاملArbitrary Nesting of Spatial Computations
Modern programming languages allow the definition and the use of arbitrary nested data structures but this is not generally considered in unconventional programming models. In this paper, we present arbitrary nesting in MGS, a spatial computing language. By considering different classes of neighborhood relationships, MGS can emulate several unconventional computing models from a programming poi...
متن کاملEmulation of an unconventional model of computation in Java
This paper describes the emulation of an unconventional model of computation inspired by the field of optical computing. The model could be described as a random access machine with registers that hold continuous twodimensional images. Our development employed a combination of eXtreme Programming, unit and integration testing with junit, and design patterns. In the final product we implemented ...
متن کاملThe Nature of the Extended Analog Computer
During the past decade, researchers have asked fundamental questions about the nature of Rubel’s extended analog computer, the EAC. The questions have made it clear that the design, implementation, and applications of the EAC are based on a paradigm unfamiliar to most users of conventional digital computers. The basic difference is that the EAC’s components visibly implement only a few explicit...
متن کاملConventional Verification for Unconventional Computing: a Genetic XOR Gate Example
As unconventional computation matures and non-standard programming frameworks are demonstrated, the need for formal verification will become more prevalent. This is so because “programming” in unconventional substrates is difficult. In this paper we show how conventional verification tools can be used to verify unconventional programs implementing a logical XOR gate.
متن کامل