Word problem; irreducible word problem; Cayley graph; recursive; recursively enumerable.;
机译:禁止单词枚举的递归公式
机译:有关单词问题和不可解递归程度的部分结果
机译:模糊递归可枚举语言和模糊递归语言的闭包属性
机译:具有递归可数单词问题的组
机译:递归屏幕:递归关系在修辞选择图像和文字以显示考古信息和学科身份方面的作用
机译:使用k个子集的递归枚举有效地提取规范空间关系
机译:不可约二进制词的枚举