Abstract
A Watson-Crick (WK) context-free grammar, a context-free grammar with productions whose right-hand sides contain nonterminals and double-stranded terminal strings, generates complete double-stranded strings under Watson-Crick complementarity. In this paper, we investigate the simplification processes of Watson-Crick context-free grammars, which lead to defining Chomskylike normal form for Watson-Crick context-free grammars. The main result of the paper is a modified CYK (Cocke-Younger-Kasami) algorithm for Watson-Crick context-free grammars in WK-Chomsky normal form, allowing to parse double-stranded strings in O(n6) time.
| Original language | English |
|---|---|
| Pages (from-to) | 1361-1373 |
| Number of pages | 13 |
| Journal | Computer Journal |
| Volume | 61 |
| Issue number | 9 |
| DOIs | |
| Publication status | Published - Sept 1 2018 |
| Externally published | Yes |
Keywords
- Context-free grammars
- DNA computing
- Formal languages
- Grammar simplifications
- Parsing algorithms
- Watson-Crick automata
- Watson-Crick grammars
ASJC Scopus subject areas
- General Computer Science