ℕDQ
Jump to navigation
Jump to search
ℕDQ or NDQ is a extension of DQ that can simulate a minsky machine. Its also created by User:yayimhere
memory
memory is now stored in 2(!) stacks. These works like the registers
addition’s
These commands has been added
Symbol(s) | Meaning |
---|---|
$ |
Go to the other stack |
[]n |
do the code in the brackets if the stack is not empty and continue. Else jump to line n |
U |
halt |
the program is not randomly executed
turing completeness proof
heres a translation from the Short Minsky Machine Notation to ℕDQ. it must use two registers and also when another register is needed for use the $
commands is used:
℘xy <-> [Q]x ℘y <-> 1 ℘ <-> U