Programming Unconventional Computers: Dynamics, Development, Self-ReferenceReport as inadecuate




Programming Unconventional Computers: Dynamics, Development, Self-Reference - Download this document for free, or read online. Document in PDF available to download.

York Centre for Complex Systems Analysis, University of York, York, YO10 5DD, UK





Abstract Classical computing has well-established formalisms for specifying, refining, composing, proving, and otherwise reasoning about computations. These formalisms have matured over the past 70 years or so. Unconventional Computing includes the use of novel kinds of substrates–from black holes and quantum effects, through to chemicals, biomolecules, even slime moulds–to perform computations that do not conform to the classical model. Although many of these unconventional substrates can be coerced into performing classical computation, this is not how they -naturally- compute. Our ability to exploit unconventional computing is partly hampered by a lack of corresponding programming formalisms: we need models for building, composing, and reasoning about programs that execute in these substrates. What might, say, a slime mould programming language look like? Here I outline some of the issues and properties of these unconventional substrates that need to be addressed to find -natural- approaches to programming them. Important concepts include embodied real values, processes and dynamical systems, generative systems and their meta-dynamics, and embodied self-reference. View Full-Text

Keywords: unconventional computing; development and morphogenesis; self-reference and reflection unconventional computing; development and morphogenesis; self-reference and reflection





Author: Susan Stepney

Source: http://mdpi.com/



DOWNLOAD PDF




Related documents