Pyke, 5 caracteres
0h.CE
Isso é capaz de produzir um número infinitamente grande, transformá-lo em uma string e, em seguida, avaliá-lo como código Pyke.
Explicação do código:
0
- Adicione 0 à pilha. Isso é necessário para iniciar um número
h
- Incremente o número antes. Repetindo isso uma quantidade arbitrária de vezes, você pode criar números infinitamente grandes. O Pyke suporta bignums como está escrito em Python, que os usa como padrão.
.C
- Transforme um número em uma string usando o seguinte algoritmo: ( link do Github )
def to_string(num):
string = ""
while num > 256:
num, new = divmod(num, 256)
string = chr(new) + string
string = chr(num) + string
return string
Nesse ponto, podemos criar uma quantidade arbitrária de strings e números naturais no Pyke com valores arbitrários. Os números podem ser criados no formato correspondente à regex 0(h)*
e as cadeias podem ser criadas com 0(h)*.C
. Eles podem ser entrelaçados entre si para criar uma mistura arbitrária de seqüências de caracteres e números inteiros.
E
- avalie uma string como código Pyke. Isso usa o mesmo ambiente que o código Pyke já em execução e, portanto, compartilhará coisas como a entrada.
Tentativa de provar que Pyke é Turing Complete.
Uma das maneiras mais simples de mostrar que um idioma está completo é implementando o Brainf * ck nele. Provavelmente, isso é muito mais difícil no Pyke do que em outros idiomas, porque as operações de lista e dicionário são praticamente inexistentes devido à falta de necessidade delas na área em que o Pyke foi projetado para executar: code-golf .
Primeiro, criamos um intérprete para brainf * ck e o codificamos usando nosso algoritmo acima para criar um número e depois expressá-lo com 0
e h
. Em seguida, criamos a sequência que contém o código a ser executado exatamente da mesma maneira. Se deixássemos assim, teríamos a pilha como
string containing brainf*ck code
string containing brainf*ck interpreter
Isso significa que o código deve estar na forma oposta, pois a pilha Pyke é a primeira a sair pela última vez.
Agora, a parte divertida: o intérprete brainf * ck com impressionantes 216 bytes!
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
Experimente aqui!
Se você quiser experimentar o código em formato semi-preenchido, mas editável, tente aqui!
Para converter de uma sequência em um número, você pode usar o seguinte código Python:
def conv(string, t=0):
t *= 256
t += ord(string[0])
if len(string) != 1:
return conv(string[1:], t)
return t
A (quase) solução final pode ser tentada aqui!
Explicação do intérprete Brainf * ck
Primeiro vamos separar o programa em partes:
O que outras pessoas estão dizendo
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
O que outras pessoas estão dizendo
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.
O que outras pessoas estão dizendo
"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] = ^
O que outras pessoas estão dizendo
~c\,qIz.oZ]1~LR3:=L) - The code for output
~c\,qI ) - if character == ",":
z.o - ord(input)
Z]1~LR3:=L - L[Z] = ^
O que outras pessoas estão dizendo
~c\.qI~LZ@.CpK) - The code for input
~c\.qI ) - if c == ".":
~LZ@ - L[Z]
.C - chr(^)
pK - print(^)
- Deslocar Esquerda / Direita
<>
::
O que outras pessoas estão dizendo
~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
O que outras pessoas estão dizendo
~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
- e ]
:
O que outras pessoas estão dizendo
~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