| Information | |
|---|---|
| has gloss | eng: A counter machine is an abstract machine used in formal logic and theoretical computer science to model computation. It is the most primitive of the four types of register machine. A counter machine comprises a set of one or more unbounded registers, each of which can hold a single non-negative integer, and a list of (usually sequential) arithmetic and control instructions for the machine to follow. |
| lexicalization | eng: counter machine |
| instance of | e/Computational model |
| Meaning | |
|---|---|
| French | |
| has gloss | fra: Une machine à compteurs est un modèle de calcul très rudimentaire. Dans sa version la plus simple une machine à compteurs est composée de deux compteurs (ou registres) et dun programme. Chaque compteur à la valeur dun entier naturel (non borné). Le programme est composé des seules instructions (C1 désigne le premier compteur et C2 le deuxième compteur) : * incrémente C1 * décrémente C1 * incrémente C2 * décrémente C2 * si C1=0 alors saut vers linstruction i1 sinon saut vers linstruction i2 * si C2=0 alors saut vers linstruction i1 sinon saut vers linstruction i2 Où i1 et i2 sont des étiquettes (ou numéro de lignes) du programme. |
| lexicalization | fra: Machine a compteurs |
| lexicalization | fra: machine à compteurs |
| Chinese | |
| has gloss | zho: 对于给定的计数器机模型，指令集是非常微小的，只有从 1 到 6 或 7 指令。所有模型都包含一些算术运算和至少一个“条件表达式”(IF-THEN-ELSE)。三个基本模型，每个都使用了三个指令，从下列指令中划分出来(简写助记符是任意的): :* CLR ( r ): 清除(CLeaR)寄存器 r [清空计数器 r] :* INC ( r ): 增加(INCrement)寄存器 r 的内容 :* DEC ( r ): 减少(DECrement)寄存器 r 的内容 :* CPY ( rj, rk ): 复制(CoPY)寄存器 rj 的内容到寄存器 rk，保持 rj 的内容不动 :* JZ ( r, z ): 如果寄存器 r 的内容为零(Zero)，则跳转(Jump)到标记为 z 的指令，否则继续按顺序执行 :* JE ( rj, rk, z ): 如果寄存器 rj 的内容等于(Equal)寄存器 rk 的内容，则跳转(Jump)到标记为 z 的指令，否则继续按顺序执行， |
| lexicalization | zho: 计数器机 |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint