The Finiteness Problem for Automaton Semigroups is Undecidable
The Finiteness Problem for Automaton Semigroups is Undecidable
复制标题
自动机半群的有限性问题是不可判定的
DOI:
10.1142/s0218196714500015
复制
发表时间:
2013
期刊:
影响因子:
--
通讯作者:
Pierre Gillibert
中科院分区:
文献类型:
--
作者:
Pierre Gillibert
The finiteness problem for automaton groups and semigroups has been widely studied, several partial positive results are known. However, we prove that, in the most general case, the problem is unde...