Shape Spaces in Formal Interactions

In recent years formal methods from concurrency theory and process calculi have gained increasing importance in modelling complex biological systems. In this paper propensity to biological interaction, as seen by the shape spaces theory, is given a linguistic interpretation. Entities from the living matter are viewed as terms of a formal concurrent language of processes with typed interaction sites. The types are strings, and interaction depends on their distance. Further, the language is associated with syntax-driven rules that permit the inference of the possible computational behaviours of the specifi ed biological system. This approach leads to the use of all the methods and techniques developed in the context of formal languages (e.g., language translation, model checking), opening new ways of studying complex biological systems.