以下假设指令集图灵完成了吗?

时间:2017-11-16 12:07:35

标签: instruction-set turing-complete

我设计了一个假设的指令集,我认为它是图灵完备的。我想不出这个指令集无法完成的任何计算操作。我只想验证这个假设的指令集确实是图灵完备的。

寄存器

IP =指令指针

FL = Flags

内存

冯·诺伊曼

其他信息

说明有两种形式(条件/立即跳转是异常值):

  • 使用标量对记忆进行操作
  • 使用其他内存对内存执行操作

所有指令都作用于固定大小的无符号整数

每条指令由一个单字节操作码组成,带有三个尾随的单字节参数(不是必须使用所有参数)。

假设一个字节能够保存任何存储器地址

说明

移动= MOV

基本算术= ADD,SUB,MUL,DIV,REM

二进制逻辑= AND,NOT,OR,NOR,XOR,XNOR,NAND,SHR,SHL

比较= CMP(该指令通过比较两个值来设置标志(不包括无符号整数溢出标志))

条件跳转= JMP,基于标志的各种条件跳转

标志

  • “无符号整数溢出”
  • “>” 中
  • “<”
  • “&GT =”
  • “&LT =”
  • “= / =”
  • “=”

0 个答案:

没有答案