Reaction Systems: a Formal Framework for Processes Based on Biochemical Interactions

This paper presents a formal framework for investigating processes driven by interactions between biochemical reactions in living cells. These interactions are based on the mechanisms of facilitation and inhibition, which underlie the definition of reaction systems - the central construct of our framework. We discuss in this paper the basic setup for reaction systems, and its motivation. We also present an important extension of reaction systems as well as some research topics and results

A Note on Numerically Dispersed EOL Languages ; CU-CS-097-76

A result is provided which allows one to prove that certain language are not EOL languages

On Some Context Free Languages Which Are Not ETOL Languages ; CU-CS-048-74

It is shown that there exist context free languages which are not deterministic ETOL languages. The proof is based on an analysis of the structure of derivations in deterministic ETOL systems

On the Organization of Memory ; CU-CS-014-73

A new learning algorithm is presented which may have applications in the theory of natural and artificial intelligence

Codings of OL Languages ; CU-CS-025-73

It is proved that a language is a coding (a letter-to-letter homomorphism) of a OL language, if, and only if, it is an EOL language