Forbidding-enforcing systems
Reads0
Chats0
TLDR
Basic computational properties of fe systems operating on strings, a model of molecular computing based on two kinds of "boundary conditions": forbidding and enforcing, are investigated in the framework of strings.About:
This article is published in Theoretical Computer Science.The article was published on 2003-01-31 and is currently open access. It has received 20 citations till now.read more
Citations
More filters
Journal ArticleDOI
Topics in the theory of DNA computing
TL;DR: The theoretical developments of DNA computing are demonstrated by discussing a number of selected topics and an introduction to the basic structure of DNA and the basic DNA processing tools is given.
Book ChapterDOI
Basic notions of reaction systems
TL;DR: Natural Computing is a general term referring to computing taking place in nature and computing inspired by nature as mentioned in this paper, and it is used to describe both the original/classical point of view of computation as calculation and to account for (be inspired by) processes, e.g., life processes.
Journal Article
Basic notions of reaction systems
TL;DR: This chapter discusses how to free the theory of computation from classical paradigms (the ongoing transition to the so called “non-classical computation”) in order to explore a much broader notion of computation.
Journal ArticleDOI
A Multicriteria Dial‐a‐Ride Problem with an Ecological Measure and Heterogeneous Vehicles
TL;DR: A new and general model for the transportation of persons is investigated that is based on an optimal timing algorithm that computes pickup and delivery dates when the requests are sequenced on the vehicles.
Journal ArticleDOI
Forbidding and enforcing in membrane computing
Matteo Cavaliere,Nataša Jonoska +1 more
TL;DR: By using forbidding-enforcing in membranes, families of languages that cannot be defined by any fe-system can be generated and it is shown that SAT can be solved in a constant time (at price of using an exponential space).
References
More filters
Journal ArticleDOI
Molecular computation of solutions to combinatorial problems
TL;DR: This experiment demonstrates the feasibility of carrying out computations at the molecular level by solving an instance of the directed Hamiltonian path problem with standard protocols and enzymes.
Book
Elements of the Theory of Computation
TL;DR: Algorithms, complexity analysis, and algorithmic ideas are introduced informally in Chapter 1, and are pursued throughout the book, each section is followed by problems.
Book
DNA Computing: New Computing Paradigms
TL;DR: This book starts with an introduction to DNA computing, exploring the power of complementarity, the basics of biochemistry, and language and computation theory, and brings the reader to the most advanced theories develop thus far in this emerging research area.
Journal ArticleDOI
Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors.
TL;DR: This study initiates the formal analysis of the generative power of recombinational behaviors in general by means of a new generative formalism called a splicing system and a significant subclass of these languages, which are shown to coincide with a class of regular languages which have been previously studied in other contexts: the strictly locally testable languages.
Book
Understanding DNA and gene cloning: a guide for the curious.
TL;DR: This book discusses life as Interacting Molecules, application of Human Genetics: Genetic Testing, Gene Therapy, and DNA Fingerprinting, and Genomics: Using Whole Genomes to Study Life.