Login / Signup
At the crossroads of DNA computing and formal languages: Characterizing recursively enumerable languages using insertion-deletion systems.
Lila Kari
Gheorghe Paun
Gabriel Thierrin
Sheng Yu
Published in:
DNA Based Computers (1997)
Keyphrases
</>
formal languages
formal language theory
natural language
dna computing
pattern languages
context free grammars
dna sequences
query processing
object oriented
inductive inference