Holt and R"over 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.
生成讲解博客的中文版本
生成AI智能校验的中文版本