Bounded Automata Groups are co-ET0L

Bounded Automata Groups are co-ET0L
复制标题

有界自动机群是 co-ET0L

DOI：
--
复制
发表时间：
2018
期刊：
Language and Automata Theory and Applications
影响因子：
--
通讯作者：
M. Elder
M. Elder
中科院分区：
--
文献类型：
--
作者：
A. Bishop;M. Elder

文献摘要

被引文献

相似文献

Holt和Rover证明了有界自动机群有索引共字问题。在这里，我们锐化了这个结果，以表明它们实际上是co-ET 0 L。
Holt and Rover proved that finitely generated bounded automata groups have indexed co-word problem. Here we sharpen this result to show they are in fact co-ET0L.