| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 426454 | Information and Computation | 2015 | 14 Pages |
Abstract
It is shown that membership in rational subsets of wreath products H≀VH≀V with H a finite group and V a virtually free group is decidable. On the other hand, it is shown that there exists a fixed finitely generated submonoid in the wreath product Z≀ZZ≀Z with an undecidable membership problem.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Markus Lohrey, Benjamin Steinberg, Georg Zetzsche,