Title
A Formal Language Analysis of DNA Hairpin Structures
Abstract
The concept of hairpin structures in formal languages is motivated from the biocomputing and bioinformatics fields. Hairpin (-free) DNA structures have numerous applications to DNA computing and molecular genetics in general. A word is called hairpin-free if it cannot be written in the form xuyθ(u)z, with certain additional conditions, for an involution θ (a function θ with the property that θ$^2$ equals the identity function). A particular involution, the so-called Watson-Crick involution, can characterize binding of two DNA strands. We study algebraic and decision properties, finiteness and descriptional complexity of hairpin (-free) languages. We show an existence of polynomial-time algorithms deciding hairpin-freeness of regular and context-free sets. Two related DNA secondary structures are considered, taking into the account imperfect bonds (bulges, mismatches) and multiple hairpins. Finally, effective methods for design of long hairpin-free DNA words are given.
Year
Venue
Keywords
2006
Fundam. Inform.
formal language analysis,hairpin structure,so-called watson-crick involution,long hairpin-free dna word,dna structure,dna computing,multiple hairpin,identity function,dna hairpin structures,related dna,dna strand,particular involution,involution,formal language,formal languages
Field
DocType
Volume
Identity function,Discrete mathematics,Formal language,Algebraic number,Imperfect,DNA,Involution (mathematics),Mathematics,DNA computing
Journal
71
Issue
ISSN
Citations 
4
0169-2968
14
PageRank 
References 
Authors
0.90
10
5
Name
Order
Citations
PageRank
L. Kari1211.79
E. Losseva2140.90
S. Konstantinidis3262.81
P. Sosik4333.82
G. Thierrin56810.18