Showing 2022Show all
2 papers · 1 filter
cs.FL2022
Practical Aspects of Membership Problem of Watson-Crick Context-free Grammars
Jan Hammer, Zbyněk Křivka
This paper focuses on Watson-Crick languages inspired by DNA computing, their models, and algorithms for deciding the language membership. It analyzes a recently introduced algorit…
cs.FL2022
Conclusive Tree-Controlled Grammars
Dominika Klobučníková, Zbyněk Křivka, Alexander Meduna
This paper presents a new approach to regulation of grammars. It divides the derivation trees generated by grammars into two sections-generative and conclusive (the conclusion). Th…