Handbook of formal languages, vol. 1
Handbook of formal languages, vol. 1
Theory of Codes
Codes, involutions, and DNA encodings
Formal and natural computing
DNA Computing: New Computing Paradigms (Texts in Theoretical Computer Science. An EATCS Series)
DNA Computing: New Computing Paradigms (Texts in Theoretical Computer Science. An EATCS Series)
Involution codes: with application to DNA coded languages
Natural Computing: an international journal
On properties of bond-free DNA languages
Theoretical Computer Science
Characterizing DNA Bond Shapes Using Trajectories
Fundamenta Informaticae
Watson---Crick palindromes in DNA computing
Natural Computing: an international journal
DNA computing: a research snapshot
Algorithms and theory of computation handbook
Preventing undesirable bonds between DNA codewords
DNA'04 Proceedings of the 10th international conference on DNA computing
DNA'04 Proceedings of the 10th international conference on DNA computing
Characterizing DNA bond shapes using trajectories
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
Characterizing DNA Bond Shapes Using Trajectories
Fundamenta Informaticae
An easy automata based algorithm for testing coding properties of infinite sets of (DNA) words
TPNC'12 Proceedings of the First international conference on Theory and Practice of Natural Computing
Generating DNA code words using forbidding and enforcing systems
TPNC'12 Proceedings of the First international conference on Theory and Practice of Natural Computing
Hi-index | 5.23 |
The computation language of a DNA-based system consists of all the words (DNA strands) that can appear in any computation step of the system. In this work we define properties of languages which ensure that the words of such languages will not form undesirable bonds when used in DNA computations. We give several characterizations of the desired properties and provide methods for obtaining languages with such properties. The decidability of these properties is addressed as well. As an application we consider splicing systems whose computation language is free of certain undesirable bonds and is generated by nearly optimal comma-free codes.