没有标准术语;每个作者都以自己的助记符或符号下定义。
寄存器机构成如下:
1 无界数目的标定的、离散的、在宽度(容量)上无界的寄存器:
有限(在某些模型中无限)的寄存器集合 '0 ... ''，每个都有无限宽度并持有一个单一非负整数 (0, 1, 2, ...)。寄存器可以做它们自己的算术，或者可以有也可以没有一个或多个做算术的特殊寄存器，比如"累加器"或"地址寄存器"。
2 计数的筹码或标码 -- 离散的、不可细分的唯一一类只适合这个模型的物件或标记。
在最精简的计数器机模型中，对每个算术指令只有一个物件/标记被要么增加到要么减少自它的位置/磁带。在某些计数器机模型(比如 Melzak (1961), Minsky (1961))和多数 RAM 与 RASP 模型中，在"加法"、"减法"、"乘法"和"除法"这样的指令中多于一个物件/标记可以增加或减少。某些模型有控制运算比如"复制"(也叫做"移动"、"装载"、"存储")一个动作就从寄存器到寄存器移动一堆物件/标记。
3 (非常)有限的指令集:
指令可被分类 -- 3.1 算术和 3.2 控制。对指令集有一种限制: 一个指令集必须允许这个模型是图灵等价的，就是说它必须能够计算任何偏递归函数:
3.1 算术
算术指令可以运算于所有寄存器上或只在特殊的寄存器上(比如累加器)。他们通常被按如下集合来选择(但例外大量存在):
*计数器机: { 增加 (r), 减少 (r), 清零 (r) }
*精简 RAM, RASP: { 增加 (r), 减少 (r), 清零 (r), 装载立即常量 k, 加 (r1,r2), 真减 (r1,r2), 增加累加器, 减少累加器, 清除累加器, 加寄存器 r 的内容到累加器, 从累加器真减寄存器 r 的内容 }
*扩充 RAM, RASP: 所有精简指令加上: { 乘法, 除法, 各种布尔逐位运算 (左移位, 位测试, 等等)}
3.2 控制:
计数器机模型: 可选的 { 复制 (r1,r2) }
RAM 和 RASP 模型: 多数都有 { 复制 (r1,r2) }, 或 { 装载累加器从 r, 存储累加器到 r, 装载立即常量到累加器 }
所有模型: 至少一个跟随寄存器测试的条件"跳转"(分支，goto)，比如 { 零时跳转, 非零时跳转(就是，正时跳转), 等时跳转, 非等时跳转 }
所有模型可选的: { 无条件程序跳转 (goto) }
3.3 寄存器寻址方法:
计数器机: 没有间接寻址，在高度原子化的模型中可能有立即操作数
RAM 和 RASP: 可用间接寻址，典型的立即操作数
3.4 输入输出:
所有模型: 可选的
4 状态寄存器:
一个特殊的指令寄存器 "IR"，有限并独立于上述寄存器，它存储当前的要执行的指令和它在指令 TABLE(表格) 中的地址;这个寄存器和它的 TABLE 位于有限状态机内。
注释 #1: IR 是对于所有模型都是禁区。在 RAM 和 RASP 的情况下，为了确定一个寄存器的地址，模型可以选择要么 (i)在直接寻址的情况下 -- 地址通过 TABLE 指定而临时位于 IR 中，或 (ii) 在间接寻址的情况下 -- 寄存器的内容由 IR 的指令指定。
注释 #2: IR 不是 RASP (或常规计算机)的程序计数器(PC)。PC 只是类似累加器的另一个寄存器，只专门持有 RASP 的当前基于寄存器的指令的编号。所以 RASP 有两个"指令/程序"寄存器 -- (i) IR (有限状态自动机的指令寄存器) 和 (ii) PC (程序计数器) 用于位于寄存器中的程序。(同样于专门的 PC 寄存器，RASP 可以有专门的寄存器如"程序-指令寄存器"(用名字如 "PIR, "IR", "PR" 等)
5 通常按顺序的标定指令的列表:
指令的有限列表 '1 ... ''。在计数器机、随机存取机(RAM)和指针机的情况下，指令存储于有限状态机的 TABLE 中;因此这些模型是哈佛结构的例子。在 RASP 的情况下，程序存储在寄存器中;所以它是冯·诺伊曼结构的例子。
通常像计算机程序，指令被按顺序列出;除非成功跳转否则缺省顺序是眼数值次序。有个例外是算盘(Lambek (1961), Minksy (1961))计数器机模型 -- 所有指令都有至少一个"下一个"指令标识符 "z"，而条件分支有两个。(算盘模型组合了两个指令 JZ 接着 DEC):
比如 { INC ( r, z ), JZDEC ( r, ztrue, zfalse ) }.
嵌入式ARM9通过寄存器控制led灯
基于可逆触发器的可逆移位寄存器设计方法
计数器机简介