Formal languages
Selected papers of the Second Workshop on Concurrency and compositionality
Marcus Contextual Grammars
Lindenmayer Systems: Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology
Grammar Systems: A Grammatical Approach to Distribution and Cooperation
Grammar Systems: A Grammatical Approach to Distribution and Cooperation
Regulated Rewriting in Formal Language Theory
Regulated Rewriting in Formal Language Theory
Mathematical Theory of L Systems
Mathematical Theory of L Systems
Pattern-matching and rewriting rules for group indexed data structures
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
The topological structures of membrane computing
Fundamenta Informaticae - Membrane computing
Pattern-matching and rewriting rules for group indexed data structures
ACM SIGPLAN Notices
Recombination Patterns for Natural Syntax
IWINAC '09 Proceedings of the 3rd International Work-Conference on The Interplay Between Natural and Artificial Computation: Part I: Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy
Rule-based programming for integrative biological modeling
Natural Computing: an international journal
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
The Topological Structures of Membrane Computing
Fundamenta Informaticae - Membrane Computing (WMC-CdeA2001)
| Hi-index | 5.23 |
A logical analysis of string manipulation systems is presented that provides a unification of many formalisms and suggests a framework for the investigation of complex discrete dynamics. Namely, several characterizations of computational universality are given in terms of logical representability within models and theories; moreover, combinatorial schemata, as a formal counterpart of DNA basic recombinant mechanisms, are logically expressed. In this way a general de(nition of derivation systems is given to which many classical systems can be easily reduced, and where some regulation mechanisms can be naturally represented. As a further consequence, systematic methods are provided for translatingderivation systems into monoidal theories. Finally, new possibilities of this logical approach are outlined in the formalization of molecule manipulation systems inspired by chemical and biochemical processes.