我设计了一个假设的指令集,我认为它是图灵完备的。我想不出这个指令集无法完成的任何计算操作。我只想验证这个假设的指令集确实是图灵完备的。
寄存器
IP =指令指针
FL = Flags
内存
冯·诺伊曼
其他信息
说明有两种形式(条件/立即跳转是异常值):
所有指令都作用于固定大小的无符号整数
每条指令由一个单字节操作码组成,带有三个尾随的单字节参数(不是必须使用所有参数)。
假设一个字节能够保存任何存储器地址
说明
移动= MOV
基本算术= ADD,SUB,MUL,DIV,REM
二进制逻辑= AND,NOT,OR,NOR,XOR,XNOR,NAND,SHR,SHL
比较= CMP(该指令通过比较两个值来设置标志(不包括无符号整数溢出标志))
条件跳转= JMP,基于标志的各种条件跳转
标志