某些自由群和么半群态射的后对应问题与均衡器
The Post Correspondence Problem and equalisers for certain free group and monoid morphisms
摘要：
标记自由幺半群态射是每个生成元的像以不同的字母开始的态射，浸入是自由群中的类似映射。我们表明，（同时）PCP是可判定的浸入的自由群，并提供了一个算法来计算基地的集合，称为均衡器，浸入采取相同的值。我们还回答了Stallings关于均衡器等级的问题。类似的结果证明了标记态射的自由幺半群。
英文摘要：
A marked free monoid morphism is a morphism for which the image of each generator starts with a different letter, and immersions are the analogous maps in free groups. We show that the (simultaneous) PCP is decidable for immersions of free groups, and provide an algorithm to compute bases for the sets, called equalisers, on which the immersions take the same values. We also answer a question of Stallings about the rank of the equaliser. Analogous results are proven for marked morphisms of free monoids.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
