Wang B-machine

http://dbpedia.org/resource/Wang_B-machine

La macchina B di Wang, enunciata dal logico e matematico Wang Hao, è un modello computazionale estremamente semplice, equivalente alla macchina di Turing. È "la prima formulazione di una teoria della macchina di Turing in termini di modelli simili al computer". Con solo 4 istruzioni sequenziali è molto simile, ma anche più semplice, delle 7 istruzioni sequenziali della macchina di Post-Turing (una variante della macchina di Turing). Nello stesso articolo, Wang ha introdotto una varietà di macchine equivalenti, compresa quella che ha chiamato "macchina W", che ha un'istruzione "cancella" aggiunta al gruppo di istruzioni. rdf:langString
As presented by Hao Wang (1954, 1957), his basic machine B is an extremely simple computational model equivalent to the Turing machine. It is "the first formulation of a Turing-machine theory in terms of computer-like models" (Minsky, 1967: 200). With only 4 sequential instructions it is very similar to, but even simpler than, the 7 sequential instructions of the Post–Turing machine. In the same paper, Wang introduced a variety of equivalent machines, including what he called the W-machine, which is the B-machine with an "erase" instruction added to the instruction set. rdf:langString
Concebida por Hao Wang (1954, 1957), a simples máquina B é um simples modelo computacional equivalente a Máquina de Turing.Esta é "a primeira formulação da teoria da máquina de turing utilizando computadores como modelo" (Minsky (1967) p. 200). Com apenas 4 instruções, ela é bem similar, porém sendo mais simples, as 7 instruções da . Com a mesma finalidade, Wang introduziu uma variedade de máquinas equivalentes, incluindo a nomeada por ele de Máquina-B, que é a Máquina-B com uma instrução "apagar" adicionada ao conjunto de instruções rdf:langString
rdf:langString Macchina B di Wang
rdf:langString Máquina Wang-b
rdf:langString Wang B-machine
xsd:integer 6640489
xsd:integer 1094645783
rdf:langString La macchina B di Wang, enunciata dal logico e matematico Wang Hao, è un modello computazionale estremamente semplice, equivalente alla macchina di Turing. È "la prima formulazione di una teoria della macchina di Turing in termini di modelli simili al computer". Con solo 4 istruzioni sequenziali è molto simile, ma anche più semplice, delle 7 istruzioni sequenziali della macchina di Post-Turing (una variante della macchina di Turing). Nello stesso articolo, Wang ha introdotto una varietà di macchine equivalenti, compresa quella che ha chiamato "macchina W", che ha un'istruzione "cancella" aggiunta al gruppo di istruzioni.
rdf:langString As presented by Hao Wang (1954, 1957), his basic machine B is an extremely simple computational model equivalent to the Turing machine. It is "the first formulation of a Turing-machine theory in terms of computer-like models" (Minsky, 1967: 200). With only 4 sequential instructions it is very similar to, but even simpler than, the 7 sequential instructions of the Post–Turing machine. In the same paper, Wang introduced a variety of equivalent machines, including what he called the W-machine, which is the B-machine with an "erase" instruction added to the instruction set.
rdf:langString Concebida por Hao Wang (1954, 1957), a simples máquina B é um simples modelo computacional equivalente a Máquina de Turing.Esta é "a primeira formulação da teoria da máquina de turing utilizando computadores como modelo" (Minsky (1967) p. 200). Com apenas 4 instruções, ela é bem similar, porém sendo mais simples, as 7 instruções da . Com a mesma finalidade, Wang introduziu uma variedade de máquinas equivalentes, incluindo a nomeada por ele de Máquina-B, que é a Máquina-B com uma instrução "apagar" adicionada ao conjunto de instruções
xsd:nonNegativeInteger 3537

data from the linked data cloud