有限個数でかつ無限長のレジスタ:有限個（またはモデルによっては無限個）のレジスタ群r0,...,rnがあり、個々のレジスタは無限長で1つの非負整数（0,1,2,...）を格納する。
计数器机构成如下:无限数目的标定的、离散的、无界的寄存器:寄存器r0...rn的有限(在模型模型中无限)的集合，每个都持有一个单一非负无界整数(0,1,2,...)。