Sciweavers

MFCS
2004
Springer
13 years 9 months ago
Decidability of Trajectory-Based Equations
We consider the decidability of existence of solutions to language equations involving the operations of shuffle and deletion along trajectories. These operations generalize the o...
Michael Domaratzki, Kai Salomaa