Block insertion and deletion on trajectories

8 years 1 months ago
Block insertion and deletion on trajectories
In this paper, we introduce block insertion and deletion on trajectories, which provide us with a new framework to study properties of language operations. With the parallel syntactical constraint provided by trajectories, these operations properly generalize several sequential as well as parallel binary language operations such as catenation, sequential insertion, k-insertion, parallel insertion, quotient, sequential deletion, k-deletion, etc. We establish some relationships between the new operations and shuffle and deletion on trajectories, and obtain several closure properties of the families of regular and context-free languages under the new operations. Moreover, we obtain several decidability results of three types of language equation problems which involve the new operations. The first one is to answer, given languages L1, L2, L3 and a trajectory set T , whether the result of an operation between L1 and L2 on the trajectory set T is equal to L3. The second one is to answer, ...
Bo Cui, Lila Kari, Shinnosuke Seki
Added 15 May 2011
Updated 15 May 2011
Type Journal
Year 2011
Where TCS
Authors Bo Cui, Lila Kari, Shinnosuke Seki
Comments (0)