Forbidding-enforcing systems

Theoretical Computer Science

Volumn 292, Issue 3, 2003, Pages 611-638

  Ehrenfeucht, A ^a   Rozenberg, G ^a,b  

^a University of Colorado at Boulder   (United States)

^b LEIDEN UNIVERSITY   (Netherlands)

Author keywords

Formal language theory; Molecular computing; Theory of computation

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; FORMAL LANGUAGES; MOLECULES;

MOLECULAR COMPUTING;

COMPUTER SCIENCE;

EID: 0037473944     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(01)00088-3     Document Type: Conference Paper

References (6)

1. Adleman L.M. Molecular computation of solutions to combinatorial problems. Science. 226:1994;1021-1024.
2. Drlica K. Understanding DNA and Gene Cloning. A Guide for the Curious:1992;Wiley, New York.
3. Head T. Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors. Bull. Math. Biol. 49:1987;737-759.
4. Lewis H.R., Papadimitriou C.H. Elements of the Theory of Computation. 1987;Prentice-Hall, Upper Saddle River.
5. New England BioLabs Catalog, 1998/1999.
6. Paun G., Rozenberg G., Salomaa A. DNA Computing: New Computing Paradigms. 1998;Springer, Berlin, Heidelberg.