Electronic Notes in Theoretical Computer Science · 2001 · 73 citations · 17 references
ComputingComputer ScienceBiological Systems ModelingComputational BiologyProgramming LanguagesAutomata TheoryCellular AutomataComputational ModelingComputational ModelsFinite AutomataPattern GenerationAutomata SimulationCellular Automata In BiologyCellular Automata SimulationComputational Biology ModelsCurrent-state ModelingDeclarative SemanticsState Space ExplorationState-space Structure
We present the first results in the development of a new declarative programming language called MGS. This language is devoted to the simulation of biological processes, especially those whose state space must be computed jointly with the current state of the system. MGS proposes a unified view on several computational mechanisms initially inspired by biological or chemical processes (Gamma and the CHAM, Lindenmayer systems, Paun systems and cellular automata). The basic computation step in MGS replaces in a collection A of elements, some subcollection B, by another collection C. The collection C only depends on B and its adjacent elements in A. The pasting of C into A – B depends on the shape of the involved collections. This step is called a transformation. The specification of the collection to be substituted can be done in many ways. We propose here a pattern language based on the neighborhood relationship induced by the topology of the collection. Several features to control the transformation applications are then presented.
17
Theory of Self-Reproducing Automata
Jacob T. Schwartz, John von Neumann, Arthur W. Burks · Mathematics of Computation · 1967 · 5.5K citations
Gheorghe Pǎun · Journal of Computer and System Sciences · 2000 · 2.3K citations
Gérard Berry, Gérard Boudol · Theoretical Computer Science · 1992 · 817 citations