主要公开日志

所有GSXAB的知识库公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2025年5月4日 (日) 12:18 Gsxab 留言 贡献创建了页面递归可枚举语言 （创建页面，内容为“分类:语言文字 分类:计算理论 {{InfoBox |name=递归可枚举语言 |eng_name=recursive enumerable language }} {{InfoBox |name=图灵可识别语言 |eng_name=Turing-recognizable language }} {{InfoBox |name=0型语言 |eng_name=type-0 language }} '''递归可枚举'''语言('''recursive enumerable''' language)指一种形式语言是该语言字母表上全部可能单词的一个可递归枚举的子集。'''<ins>图灵</ins>可识别'''…”）