2008/11/20 by Niko Haubold, Haubold, Niko, Markus Lohrey +1 · 1 citation
Computer Science · #semigroups and automata theory #Algorithms and Data Compression #Cellular Automata and Applications
paper · pdf · doi:10.48550/arxiv.0811.3303
It is shown that the compressed word problem for an HNN-extension with base group H and finite associated subgroups is polynomial time Turing-reducible to the compressed word problem for H. An analogous result for amalgamated free products is shown as well.