Cellular Cause-Effect Structures (eBook)

This book presents the adaptation of cause-effect structures to the formal description of phenomena such as the behaviour of living objects, the mutual communication of living cells, but also such as the growth of crystals and other natural processes. The system of cause-effect structures has been designed for the description and analysis of objects with dispersed components, acting concurrently and synchronizing and communicating one another. This adaptation consists in customizing generic semantics of cause-effect structures to semantics specific to the behaviour of natural objects. That is creating evolution rules for the formal models of these objects. However, the structural, algebraic properties of cause-effect structures are retained. The activity of cellular cause-effect structures is supposed to imitate the activity of cellular automata, the formal system intended for the above-mentioned aims. But operations on syntactic constructions, in particular their transformations and simplification, are the same as for the general cause-effect structures. These algebraic operations are also used to perform certain geometric/topological conversions of location bases for the cellular cause-effect structures, like flat surfaces into cylindrical or toroidal. This is depicted by numerous illustrations. An adaptation of cause-effect structures to other formal descriptions of some natural phenomena, such as reaction systems, is provided in book 331 of the 'Lecture Notes in Networks and Systems' series, whereas the complete description of cause-effect structures, in book 45.

Ludwik Czaja obtained his M.Sc., Ph.D. and habilitation degrees from the University of Warsaw, where he was a professor of informatics at the Faculty of Mathematics, Informatics and Mechanics. He spent several years at other universities, like Carnegie Mellon, Oxford, Ben-Gurion, Humboldt, as a visiting professor or research fellow. Currently, he is a full professor at the Vistula University and an emeritus professor of the University of Warsaw. His work encompasses formal and programming languages, compilers, theory of computation, parallel and distributed processing.