Пайк, 5 персонажей
0h.CE
Это способно производить бесконечно большое число, превращать его в строку и затем оценивать как код Pyke.
Пояснение к коду:
0- Добавить 0 в стек. Это необходимо, чтобы начать номер
h- Увеличьте число до. Повторяя это произвольное количество раз, вы можете создавать бесконечно большие числа. Pyke поддерживает bignums, как написано на Python, который использует их по умолчанию.
.C- Превратить число в строку, используя следующий алгоритм: ( ссылка на Github )
def to_string(num):
string = ""
while num > 256:
num, new = divmod(num, 256)
string = chr(new) + string
string = chr(num) + string
return string
К этому моменту мы можем создать произвольное количество строк и натуральных чисел в Pyke с произвольными значениями. Числа могут быть созданы в форме, соответствующей регулярному выражению, 0(h)*и строки могут быть созданы с 0(h)*.C. Они могут быть переплетены друг с другом, чтобы создать произвольную смесь строк и целых чисел.
Eоценивать строку как код Pyke. Он использует ту же среду, что и код Pyke, который уже запущен, поэтому будет делиться такими вещами, как ввод
Попытка доказать, что Пайк завершен по Тьюрингу.
Один из самых простых способов показать язык - это выполнить Brainf * ck. Это, вероятно, намного сложнее в Pyke, чем во многих других языках, потому что его операции со списком и словарем практически не существуют из-за отсутствия необходимости в них, в той области, в которой Pyke предназначен для работы: code-golf .
Сначала мы создаем интерпретатор для brainf * ck и кодируем его, используя наш алгоритм выше, чтобы создать число, а затем выражаем это число с помощью 0и h. Затем мы создаем строку, содержащую код для запуска точно таким же образом. Если бы мы оставили все как есть, у нас был бы стек
string containing brainf*ck code
string containing brainf*ck interpreter
Это означает, что код должен быть в противоположной форме, так как стек Pyke первым и последним вышел.
Теперь самое интересное: интерпретатор brainf * ck с колоссальными 216 байтами!
Q~B"><ht.,".:=B;Z]1=L;W~Bo@D=c"ht"{I~c~LZ@EZ]1~LR3:=L)~c\,qIz.oZ]1~LR3:=L)~c\.qI~LZ@.CpK)~c"<>"{I~c"<>""th".:ZE=ZZ1_qI0=Z~L0"":0]10:=L)Z~LlqI~L~Ll"":1_]10:=L))~c\[qI~LZ@0qI\]~B~o>@~o+h=o))~c\]qI~o\[~B~o<_@-t=o)~o~BlN
Попробуй это здесь!
Если вы хотите попробовать код в полузаполненной, но редактируемой форме, попробуйте здесь!
Чтобы преобразовать строку в число, вы можете использовать следующий код Python:
def conv(string, t=0):
t *= 256
t += ord(string[0])
if len(string) != 1:
return conv(string[1:], t)
return t
(Почти) окончательное решение можно попробовать здесь!
Объяснение переводчика Brainf * ck
Сначала давайте разделим программу на части:
Q~B"><ht.,".:=B;Z]1=L; - The initialisation part
Q~B"><ht.,".: - input.replace("><+-.,[]", "><ht.,")
- replace the characters in brainf*ck with some modified ones.
- this means we can `eval` the add and subtract bits easily.
=B; - set `B` to this.
- The `B` variable contains the instructions
Z]1=L; - set `L` to [0]
- `L` contains the stack, initialised with 0
W~Bo@D=c !code! ~o~BlN - The main loop
W - do
~Bo@D=c - c=B[o++]
- the c variable is used to store the current character.
~o~BlN - while
~o - o
N - ^ != V
~Bl - len(B)
- this stops the program running once it's finished.
- Инструкции
- Увеличение / уменьшение:
+-
"ht"{I~c~LZ@EZ]1~LR3:=L) - The bit that does incrementing and decrementing
"ht"{I ) - if c in "ht"
~LZ@ - L[Z]
- `Z` contains the current stack pointer
~c E - eval current character with ^ as an argument
- returns the contents of `Z` either incremented or decremented
Z]1~LR3:=L - L[Z] = ^
~c\,qIz.oZ]1~LR3:=L) - The code for output
~c\,qI ) - if character == ",":
z.o - ord(input)
Z]1~LR3:=L - L[Z] = ^
~c\.qI~LZ@.CpK) - The code for input
~c\.qI ) - if c == ".":
~LZ@ - L[Z]
.C - chr(^)
pK - print(^)
~c"<>"{I~c"<>""th".:ZE=Z - main part
~c"<>"{I - if "<>" in c:
~c"<>""th".: - c.replace("<>", "th")
ZE=Z - Z = eval(char, Z)
Z1_qI0=Z~L0"":0]10:=L) - lower bound check
Z1_qI ) - if Z == -1:
0=Z - Z = 0
~L0"": - L.insert("", 0)
0]10:=L - L[0] = 0
Z~LlqI~L~Ll"":1_]10:=L) - upper bound check
Z~LlqI ) - if Z == len(L):
~Ll"": - L.insert("", len(L))
~L 1_]10:=L - L[-1] = 0
~c\[qI~LZ@0qI\]~B~o>@~o+h=o)) - Code for `[`
~c\[qI ) - if c == "[":
~LZ@0qI ) - if L[Z] == 0:
~B~o> - B[o:]
\] @ - ^.find("]")
~o+h=o - o = o + ^ + 1
- и ]:
~c\]qI~o\[~B~o<_@-t=o) - Code for `]`
~c\]qI ) - if c == "]":
~B~o<_ - reversed(B[:o])
\[ @ - ^.find("[")
~o -t=o - o = o - ^ -1