On language equations with invertible operations
Theoretical Computer Science
Shuffle on trajectories: syntactic constraints
Theoretical Computer Science
Shuffle and scattered deletion closure of languages
Theoretical Computer Science
On fairness of many-dimensional trajectories
Journal of Automata, Languages and Combinatorics
Handbook of Formal Languages
Theory of Automata
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Contexts on Trajectories
Theoretical Computer Science
Language equations, maximality and error-detection
Journal of Computer and System Sciences
On properties of bond-free DNA languages
Theoretical Computer Science
Decidability of trajectory-based equations
Theoretical Computer Science - Mathematical foundations of computer science 2004
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Codes defined by multiple sets of trajectories
Theoretical Computer Science
Language Decompositions, Primality, and Trajectory-Based Operations
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
Block insertion and deletion on trajectories
Theoretical Computer Science
On language decompositions and primality
Rainbow of computer science
Recognizing shuffled languages
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Hi-index | 5.23 |
word and language operations on trajectories provide a general framework for the study of properties of sequential insertion and deletion operations. A trajectory gives a syntactical constraint on the scattered insertion (deletion) of a word into(from) another one, with an intuitive geometrical interpretation. Moreover, deletion on trajectories is an inverse of the shuffle on trajectories. These operations are a natural generalization of many binary word operations like catenation, quotient, insertion, deletion, shuffle, etc. Besides they were shown to be useful, e.g. in concurrent processes modelling and recently in biocomputing area.We begin with the study of algebraic properties of the deletion on trajectories. Then we focus on three standard decision problems concerning linear language equations with one variable, involving the above mentioned operations. We generalize previous results and obtain a sequence of new ones. Particularly, we characterize the class of binary word operations for which the validity of such a language equation is (un)decidable, for regular and context-free operands.