6 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…
Final Sentential Forms
Tomáš Kožár, Zbyněk Křivka, Alexander Meduna
Let G be a context-free grammar with a total alphabet V, and let F be a final language over an alphabet W such that W is a subset of V. A final sentential form is any sentential fo…
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…
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…