Title | ||
---|---|---|
Monotonically controlling right linear grammars with unknown behaviors to output a target string |
Abstract | ||
---|---|---|
This paper proposes an abstract mathematical model of controlling formal grammars by external signals inspired from DNA nanotechnology. We formulate the idea by using notions and definitions of regulated rewriting theory in formal grammars, and propose a formal grammar with unknown behaviors (FGUB) and its control system. We show that even though we do not know behaviors of the system completely we can construct a control system which regulates it to output only a target string correctly. We also show a necessary and sufficient condition for such an FGUB and a control system to exist. |
Year | DOI | Venue |
---|---|---|
2019 | 10.1016/j.tcs.2019.01.009 | Theoretical Computer Science |
Keywords | Field | DocType |
Regulated rewriting,Formal grammars,DNA computing,DNA nano-structure | Regulated rewriting,Rule-based machine translation,Monotonic function,Discrete mathematics,Theoretical computer science,Formal grammar,Control system,Mathematics | Journal |
Volume | ISSN | Citations |
777 | 0304-3975 | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nobuya Kimoto | 1 | 0 | 0.34 |
Ken Komiya | 2 | 55 | 8.27 |
Kenzo Fujimoto | 3 | 0 | 0.68 |
Satoshi Kobayashi | 4 | 113 | 8.18 |