4 papers
Orchestration of Music by Grammar Systems
Jozef Makiš, Alexander Meduna, Zbyněk Křivka
This application-oriented study concerns computational musicology, which makes use of grammar systems. We define multi-generative rule-synchronized scattered-context grammar system…
Input-Erasing Two-Way Finite Automata
Alexander Meduna, Dominik Nejedlý, Zbyněk Křivka
The present paper introduces and studies an alternative concept of two-way finite automata called input-erasing two-way finite automata. Like the original model, these new automata…
How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars
Martin Havel, Zbyněk Křivka, Alexander Meduna
This paper introduces derivation trees for general grammars. Within these trees, it defines context-dependent pairs of nodes, corresponding to rewriting two neighboring symbols usi…
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…