The evolution of one-way infinite cellular automata can be described by the firstorder theory of phase-space, which uses one-step evolution as its main predicate. Formulas in this logic can be used to express properties of the global map such as surjectivity. A complete implementation of the decision algorithm is provided, as well as methods for manipulating the Büchi automata on which the deci...

In this paper I describe a cellular automaton model of a multi-species ecosystem, suitable for the study of emergent properties of macroevolution. Unlike majority of ecological models, the number of coexisting species is not fixed. Starting from one common ancestor they appear by “mutations” of existent species, and then survive or extinct depending on the balance of local ecological interactio...

We present the model of tumour induced angiogenesis that apart from predominating phenomena, as influence of VEGF, includes newly discovered factors such as Dll4/Notch signalling and remodelling processes. The Cellular Automata approach is employed to model cellular and intracellular processes that occur in cancer tissue and surroundings. Vascular system is modelled by using the Graph of Cellul...

The main goal of this paper is to develop tools for constructing different kinds of abstract automata based on cellular automata. We call this engineering problem cellular engineering. Different levels of computing systems and models are considered. The emphasis is made on the toplevel model called a grid automaton. Our goal is to construct grid automata using cellular automata. To achieve this...