Пайк, 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