PubMed · 9697210
Bidirectional sticker systems.
Abstract
We introduce two-sided sticker systems, the two-sided variant of a computability model introduced as an abstraction of Adleman's style of DNA computing and of the matching of the so-called Watson-Crick complements. Several types of sticker systems are shown to have the same power as regular grammars, one variant is found to represent the linear languages, and another one is proved to be able to represent any recursively enumerable language. From this result we infer that any recursively enumerable language can be represented as the projection of the intersection of two minimal linear languages.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
R Freund, G Păun, G Rozenberg, A Salomaa. 1998. Bidirectional sticker systems.. https://pubmed.ncbi.nlm.nih.gov/9697210/
Cite the original work for its findings. Save a collection to share your selection of sources.