TY - GEN
T1 - Linearizer and doubler
T2 - 11th International Workshop on DNA Computing, DNA11
AU - Onodera, Kaoru
AU - Yokomori, Takashi
PY - 2006/7/13
Y1 - 2006/7/13
N2 - Two specific mappings called doubler fd and linearizer f l are introduced to bridge two domains of languages. That is, f d maps string languages into (double-stranded) molecular languages, while fl transforms in the other way around. Using these mappings, we give new characterizations for the families of sticker languages and of Watson-Crick languages, which leads to not only a unified view of the two families of languages but also a clarified view of the computational capability of the DNA complementarity. One of the results implies that any recursively enumerable language can be expressed as the projective image of fd(L) for a minimal linear language L.
AB - Two specific mappings called doubler fd and linearizer f l are introduced to bridge two domains of languages. That is, f d maps string languages into (double-stranded) molecular languages, while fl transforms in the other way around. Using these mappings, we give new characterizations for the families of sticker languages and of Watson-Crick languages, which leads to not only a unified view of the two families of languages but also a clarified view of the computational capability of the DNA complementarity. One of the results implies that any recursively enumerable language can be expressed as the projective image of fd(L) for a minimal linear language L.
UR - http://www.scopus.com/inward/record.url?scp=33745764289&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33745764289&partnerID=8YFLogxK
U2 - 10.1007/11753681_18
DO - 10.1007/11753681_18
M3 - Conference contribution
AN - SCOPUS:33745764289
SN - 3540341617
SN - 9783540341611
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 224
EP - 235
BT - DNA Computing - 11th International Workshop on DNA Computing, DNA11, Revised Selected Papers
Y2 - 6 June 2005 through 9 June 2005
ER -