It is shown that membership in rational subsets of wreath products H wreath product 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 ℤ wreath product ℤ with an undecidable membership problem. © 2013 Springer-Verlag.
CITATION STYLE
Lohrey, M., Steinberg, B., & Zetzsche, G. (2013). Rational subsets and submonoids of wreath products. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7966 LNCS, pp. 361–372). https://doi.org/10.1007/978-3-642-39212-2_33
Mendeley helps you to discover research relevant for your work.