Statements (27)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:abstract_machine
|
| gptkbp:contrastsWith |
gptkb:Technical_Machine
|
| gptkbp:formedBy |
gptkb:John_von_Neumann
gptkb:Melzak gptkb:Minsky gptkb:Shepherdson–Sturgis |
| gptkbp:hasComponent |
gptkb:instruction_set
gptkb:register |
| gptkbp:hasVariant |
RAM machine
Random-access machine counter machine |
| gptkbp:introducedIn |
1950s
|
| gptkbp:operator |
conditional jump
decrement increment |
| gptkbp:relatedTo |
gptkb:lambda_calculus
gptkb:finite_state_machine pushdown automaton |
| gptkbp:SIM |
gptkb:Technical_Machine
|
| gptkbp:studiedBy |
computer scientists
|
| gptkbp:usedFor |
algorithm design
modeling computation complexity analysis |
| gptkbp:usedIn |
gptkb:theoretical_computer_science
|
| gptkbp:bfsParent |
gptkb:Model_of_Computation
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
register machine
|