3 papers
cs.FL2025
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…
cs.FL2025
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…
cs.FL2024
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…