User talk:GUAqwq

This is a talk page.

hmmm

I found that we can open the esolang wiki on Windows 2000. But for some reasons we can open the Edit page but we cannot find the botton 'save changes'. Windows 2000 maybe does not support cookie. That is IE 5. User:Cycwin

Re User:Cycwin :

You DO NOT have to chat on the WIKI with ENGLISH if you already HAVE my CONTACT. GUAqwq (talk) 11:50, 7 April 2025 (UTC)

Sandbox

Now I'm going to get myself a sandbox, since I found no mediawiki IDE for android.

Proof of that Minsky Machine is Turing Complete.

Syntax Definition:

inc <Counter> <Jump Address>
dec <Counter> <Jump Address> <Alternative Jump Address>

Pseudos:

--<comment>
!<label> -- defines that <label> represents to the address of next statement
$ -- represents to the address of next statement

inc <ctr> := inc <ctr> $
dec <ctr> := dec <ctr> $ $

Calculations

a=0 -- a : Any -> 0

!start
dec a start $

a+=n -- a : Number -> Number

inc/dec a (n times)

a=n -- a : Any -> Number

a=0
a+=n

add a b -- a : Number -> Number

!start
dec b $ end
inc a start
!end

sub a b -- a : Number -> Number

!start
dec b $ end
dec a start start
!end

cpy a b-- a : a , b : Any -> a

c=0
!A
dec a $ B
inc b
inc c B
!B
dec c $ C
inc a B
!C

where c is a spare counter. swp a b-- a <-> b

cpy a c
cpy b a
cpy c b
c=0

where c is a spare counter.

Boolean

not a -- a : Boolean -> Boolean

dec a end $
inc a
!end

nor a b -- a : Boolean -> Boolean , b : Boolean -> 0

dec a end f
dec b end f
inc a
!end
dec b

Other boolean operations are just combinations of these.

Conditions

jmp label

inc a
dec a jmp jmp

where a is any counter.

isZero a-- a : Number -> Boolean

dec a false true
!false
a=0
jmp end
!true
a=1
!end

le a b-- a : Number -> Boolean , b : Number -> 0

sub a b
isZero a

Other comparisons are just combinations of le with Boolean Calculations.

le a b
gt a b := le a b; not a;
ge a b := le b a; add a b;
lt a b := ge a b; not a;
eq a b :=