逆半群的融合与可逆双计数器机
群论
2013-04-08 v1
摘要
我们证明，即使假设逆半群融合 中的 和 （因而也包括 ）具有有限 -类，且 为可计算函数，其字问题仍可能是不可判定的，这打断了该课题上一系列正面的可判定性结果。这一结论是通过将具有足够通用性的双计数器机编码到适当的逆半群融合中，并将某些 \sch 图的性质与机器中的计算序列关联起来而实现的。
引用
@article{arxiv.1105.1905,
title = {Amalgams of inverse semigroups and reversible two-counter machines},
author = {Emanuele Rodaro and Pedro V. Silva},
journal= {arXiv preprint arXiv:1105.1905},
year = {2013}
}