Bio-inspired computation: formal language theoretic models

Bio-inspired computational models are recently in the focus of interest in computer science. One of the main objectives of the research in the area is to develop unconventional and powerful computational models which imitate properties and functioning of living systems and communities of living organisms. Our investigations aim at developing formal language theoretic frameworks for this purpose and at studying the properties of these constructs, including different aspects of their complexity.

We intend to study the power and the descriptional complexity (in the standard and non-standard sense) of language determining devices based on operations inspired by the genomic evolution and working with sets or multisets of strings. We plan to investigate formal language theoretic models inspired by the properties and the behaviour of DNA, as Watson-Crick Lindenmayer systems, and other models motivated by bio-molecular processes, as membrane systems. Our research concentrates on the power and the complexity of these systems, including standard and nonstandard aspects of complexity.