Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
438110 | Theoretical Computer Science | 2009 | 7 Pages |
Abstract
Two languages X and Y are called conjugates, if they satisfy the conjugacy equation XZ=ZY for some non-empty language Z. We will compare solutions of this equation with those of the corresponding equation of words and study the case of finite biprefix codes X and Y. We show that the maximal Z in this case is rational. We will also characterize X and Y in the case where they are both finite biprefix codes. This yields the decidability of the conjugacy of two finite biprefix codes.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics