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 Kimoto100.34
Ken Komiya2558.27
Kenzo Fujimoto300.68
Satoshi Kobayashi41138.18