Pyke, 5 znaków
0h.CE
Jest to w stanie wygenerować nieskończenie dużą liczbę, przekształcając ją w ciąg znaków, a następnie oceniając jako kod Pyke.
Objaśnienie kodu:
0- Dodaj 0 do stosu. Jest to wymagane, aby rozpocząć numer
h- Zwiększ liczbę wcześniej. Powtarzając to dowolną liczbę razy, możesz tworzyć liczby, które są nieskończenie duże. Pyke obsługuje bignum, ponieważ jest napisane w Pythonie, który używa ich jako domyślnych.
.C- Zamień liczbę na ciąg znaków za pomocą następującego algorytmu: ( link Github )
def to_string(num):
string = ""
while num > 256:
num, new = divmod(num, 256)
string = chr(new) + string
string = chr(num) + string
return string
W tym momencie możemy utworzyć dowolną liczbę ciągów i liczb naturalnych w Pyke z dowolnymi wartościami. Liczby można tworzyć w formie odpowiadającej wyrażeniu regularnemu, 0(h)*a ciągi znaków można tworzyć za pomocą 0(h)*.C. Można je ze sobą przeplatać, aby stworzyć dowolną mieszankę ciągów i liczb całkowitych.
E- ocenia ciąg jako kod Pyke. Korzysta z tego samego środowiska co już uruchomiony kod Pyke, więc będzie udostępniać takie rzeczy jak dane wejściowe.
Próbowano udowodnić, że Pyke jest w Turingu ukończony.
Jednym z najprostszych sposobów wykazania, że język jest kompletny, jest zaimplementowanie w nim Brainf * ck. Jest to prawdopodobnie o wiele trudniejsze w Pyke niż w wielu innych językach, ponieważ jego lista i operacje słownikowe praktycznie nie istnieją ze względu na brak potrzeby ich w obszarze, w którym Pyke ma działać: golf-code .
Najpierw tworzymy interpreter dla brainf * ck i kodujemy go za pomocą naszego algorytmu powyżej, aby utworzyć liczbę, a następnie wyrażamy ją za pomocą 0i h. Następnie tworzymy ciąg zawierający kod, który ma być uruchamiany dokładnie w ten sam sposób. Gdybyśmy to zostawili, mielibyśmy stos jako
string containing brainf*ck code
string containing brainf*ck interpreter
Oznacza to, że kod musi być w odwrotnej postaci, ponieważ stos Pyke jest pierwszy na końcu.
Teraz część zabawy: interpreter brainf * ck z ogromną liczbą 216 bajtów!
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
Wypróbuj tutaj!
Jeśli chcesz wypróbować kod w częściowo ukończonej, ale edytowalnej formie, wypróbuj go tutaj!
Aby przekonwertować ciąg na liczbę, możesz użyć następującego kodu w języku Python:
def conv(string, t=0):
t *= 256
t += ord(string[0])
if len(string) != 1:
return conv(string[1:], t)
return t
(Prawie) ostateczne rozwiązanie można wypróbować tutaj!
Wyjaśnienie interpretera Brainf * ck
Najpierw podzielmy program na części:
W pobliżu
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 pobliżu
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.
W pobliżu
"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] = ^
W pobliżu
~c\,qIz.oZ]1~LR3:=L) - The code for output
~c\,qI ) - if character == ",":
z.o - ord(input)
Z]1~LR3:=L - L[Z] = ^
W pobliżu
~c\.qI~LZ@.CpK) - The code for input
~c\.qI ) - if c == ".":
~LZ@ - L[Z]
.C - chr(^)
pK - print(^)
W pobliżu
~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
W pobliżu
~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
- I ]:
W pobliżu
~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