1 citations · 1 across the 9 of their papers we have counts for
Showing 2021 · math.GRShow all
2 papers · 2 filters
math.GR2021
The symmetric Post Correspondence Problem, and errata for the freeness problem for matrix semigroups
J. C. Birget, A. L. Talambutsa
We define the symmetric Post Correspondence Problem (PCP) and prove that it is undecidable. As an application we show that the original proof of undecidability of the freeness prob…
math.GR2021
Efficient computations with counting functions on free groups and free monoids
Tobias Hartnick, Alexey Talambutsa
We present efficient algorithms to decide whether two given counting functions on non-abelian free groups or monoids are at bounded distance from each other and to decide whether t…