turing-complete - 我的编程语言中的 quine 看起来如何？

Question

我已经创建了一个图灵完备的编程语言(已经被证明)，所以一定可以写一个 quine对吧？

但是我知道的所有 quines 都将它们的源代码存储在一个字符串中，然后使用类似 chr 的内容替换其中的特殊字符。和 ord .

我的语言只有以下内容

基本算术

整数和字符串类型

变量

== 运算符

条件跳转

我不知道如何像我一样写一个奎因 没有真正的字符串操作可用 ，我只能输出常量字符串。然而，它是 100% 图灵完备的。

Answer 1

如果您的语言是图灵完备的并且只有一个 quine，那么它们很可能有无穷多个。这是一种构建其中一些的方法:

实现 Brainfuck (或其他一些简单的图灵完备语言)用您的语言翻译。编写你的程序，使得源 X1<brainfuck source>Y1运行时，解释 Brainfuck 程序。

写一个算法 string f(string a, string b)使用您选择的任何语言，当给出任何 a和 b输出一个 Brainfuck 程序，运行时输出字符串 a ，整个 Brainfuck 源代码，然后是字符串 b .您可以调整现有的 Brainfuck quine 来执行此操作。

计算 f(X1, Y1)然后将生成的 Brainfuck 程序从 1 嵌入到您的程序中。

第一步是最困难的，但您可能已经完成了，因为证明某事物是图灵完备的最简单方法之一是为另一种已被证明是图灵完备的语言实现解释器。

第二步已被证明是可能的，并且与您的程序语言无关。

第三步是一个简单的计算。