【发布时间】：2020-06-18 17:38:28
【问题描述】：
正如标题所说，有可能吗？
【问题讨论】：
【发布时间】：2020-06-18 17:38:28
【问题描述】：
不，这是不可能的。有几种方法可以将“所有素数的集合”编码为一种语言，并且这样做的标准方法（以二进制写出数字，写出与数字相等的多个计数标记等）是不正常。
正式证明这有点棘手，但使用常规语言的泵引理或 Myhill-Nerode 定理是可行的。争论的症结归结为这样一个事实：重复复制素数的一部分最终会得到一个非素数，这就是证明的技术细节的用武之地。
希望这会有所帮助！
【讨论】：