| rdfs:comment
| - En lógica matemática y en ciencias de la computación teórica, una máquina de registro es una clase genérica de máquinas abstractas usadas en una manera similar a una máquina de Turing. Todos los modelos son . (es)
- Die Registermaschine (RM) ist eine abstrakte Maschine der theoretischen Informatik. Registermaschinen sindTuring-vollständig, das heißt, sie sind prinzipiell zu allen Berechnungen in der Lage, die Turingmaschinen oder auch reale Rechner ausführen können. Da man beweisen kann, dass sich die Registermaschine und die Turingmaschine gegenseitig mit polynomieller Laufzeit simulieren können, gelten Aussagen, die man für die Turingmaschine beweisen kann, auch für die Registermaschine und damit auch für jede beliebige Rechenmaschine. Dies ist in der theoretischen Informatik von Vorteil, da man viele Aussagen anhand der Turingmaschine leichter beweisen kann. (de)
- In mathematical logic and theoretical computer science a register machine is a generic class of abstract machines used in a manner similar to a Turing machine. All the models are Turing equivalent. (en)
- En informatique, une machine à registres illimités ou URM (de l'anglais : Unlimited Register Machine) est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tout comme les machines de Turing et le lambda-calcul. Une URM est Turing-complète. (fr)
- レジスタマシン（英: Register machine）とは、数理論理学や理論計算機科学で使われる汎用計算模型の一種であり、チューリングマシンと似たような使われ方をされる。レジスタマシンのモデルは全てチューリング等価である。 また、スタックマシンの対として、オペランドがレジスタである機械を指してもレジスタマシンと言う。実機ではほとんどにあてはまるのでわざわざ言わないが、仮想機械では、たとえばLua 5の仮想機械を指して使われる。 (ja)
- Na lógica matemática e na ciência da computação teórica uma máquina de registradores é uma classe genérica de máquinas abstratas usadas de uma maneira similar a máquina de Turing. Todos os modelos são Turing equivalentes. (pt)
- Машина Минского — многоленточная машина Тьюринга, у которой ленты слева не надстраиваются (ограничены по длине), все ячейки лент, за исключением самых левых, всегда пусты, а состояния самых левых ячеек постоянны. Также называется регистровая машина. Понятие ввёл в науку М. Минский (ru)
- 在数理逻辑和理论计算机科学中，寄存器机（英語：Register machine），又譯為暫存器機，是以类似于使用图灵机的方式使用的一类抽象機器。所有模型都是图灵等价的。 寄存器机得名于它有一个或多个“寄存器”——替代了图灵机的磁带和磁头，这个模型使用了多个唯一寻址的寄存器，每个都持有一个单一正整数。 在文献中至少可找到4个子类，下面按最原始到最类似计算机的次序列出：
* 计数器机——最原始和精简的模型。缺乏间接寻址。指令在按照哈佛结构的有限状态机内。
* ——计数器机和RAM模型的混合。比这两个模型更少共通更多抽象。指令在按照哈佛结构的有限状态机内。
* 随机存取机（RAM）——带有间接寻址和通常扩充的指令集。指令在按照哈佛结构的有限状态机内。
* 随机存取存储程序机（RASP）——带有指令在其寄存器中的RAM，类似于通用图灵机；因此它是冯·诺伊曼结构的一个例子。但是不同于计算机的是这个模型是带有有效无限个寄存器的“理想”机器。不像计算机甚至RISC计算机，指令集在指令数目上是非常精简的。 任何正确定义的寄存器机都是图灵等价的。计算速度严重倚赖于模型细节。 (zh)
- La URM (acronimo di Unlimited Register Machine) è una idealizzazione matematica di un computer basata su di una macchina inventata nel 1963 da e . La URM è una macchina ideale dotata di infiniti registri (un po' come la macchina di Turing) chiamati R1, R2, R3, ..., che contengono un numero naturale. Si denota con rn il contenuto del registro Rn. Le istruzioni della URM sono solo quattro, ma con queste è possibile risolvere qualsiasi problema computabile. (it)
- Maszyna rejestrowa – maszyna (procesor bądź maszyna wirtualna), w której podstawowe operacje prowadzi się na niewielkiej grupie rejestrów, nie zaś na stosie. Maszyny rejestrowe dysponują też stosem – dostępnym jawnie (instrukcjami dodawania do stosu push i zdejmowania ze stosu pop) bądź emulowanym (program modyfikuje rejestr bądź zmienną będącą wskaźnikiem do stosu), ale jest on używany do przechowywania i przekazywania danych, nie do obliczeń. Liczenie pierwiastków równania kwadratowego na przykładowej maszynie rejestrowej (pomijając sprawdzenie czy w ogóle istnieją pierwiastki rzeczywiste): (pl)
- Машина з натуральнозначними регістрами (МНР) — абстрактна обчислювальна машина. МНР складається із, взагалі кажучи, нескінченної кількості натуральночисельних регістрів, пронумерованих з нуля. Позначатимемо їх R[0], R[1], …, R[n], … Значення всіх регістрів (R[0], R[1], …, R[n], …) утворюють конфігурацію. Виконання МНР-програми починається із початкової конфігурації і закінчується в фінальній конфігурації. Кажуть, що МНР-програма обчислює n-арну функцію f, задану таким чином: Програми для МНР складаються зі скінченної кількості команд чотирьох типів: Виконання однієї команди називають кроком МНР. (uk)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)