Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
439111 | Theoretical Computer Science | 2009 | 21 Pages |
Abstract
In this paper, we investigate the open question, formulated in 1983 by Culik II and Karhumäki, asking whether there exist independent systems of three word equations over three unknowns admitting non-periodic solutions. In particular, we answer negatively the above mentioned question for systems in which one of the unknowns occurs at most six times. That is, we show that such systems admit only periodic solutions or they are not independent.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics