Toward semantical model of reaction‐diffusion computing
Abstract
Purpose
The purpose of this paper is to fill a gap between experimental and abstract‐theoretic models of reaction‐diffusion computing. Chemical reaction‐diffusion computers are amongst leading experimental prototypes in the field of unconventional and nature‐inspired computing. In the reaction‐diffusion computers, the data are represented by concentration profiles of reagents, information is transferred by propagating diffusive and phase waves, computation is implemented in interaction of the traveling patterns, and results of the computation are recorded as a final concentration profile.
Design/methodology/approach
The paper analyzes a possibility of co‐algebraic representation of the computation in reaction‐diffusion systems using reaction‐diffusion cellular‐automata models.
Findings
Using notions of space‐time trajectories of local domains of a reaction‐diffusion medium the logic of trajectories is built, where well‐formed formulas and their truth‐values are defined by co‐induction. These formulas are non‐well‐founded set‐theoretic objects. It is demonstrated that the logic of trajectories is a co‐algebra.
Research limitations/implications
The paper uses the logic defined to establish a semantical model of the computation in reaction‐diffusion media.
Originality/value
The work presents the first ever attempt toward mathematical formalization of reaction‐diffusion processes and is built building up semantics of reaction‐diffusion computing. It is envisaged that the formalism produced will be used in developing programming techniques of reaction‐diffusion chemical media.
Keywords
Citation
Schumann, A. and Adamatzky, A. (2009), "Toward semantical model of reaction‐diffusion computing", Kybernetes, Vol. 38 No. 9, pp. 1518-1531. https://doi.org/10.1108/03684920910991504
Publisher
:Emerald Group Publishing Limited
Copyright © 2009, Emerald Group Publishing Limited