Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
"RegisterMachine"
| "RegisterMachine" a register machine | |
▪
Creating a virtual machine instance:
create a new instance of a register machine configured according to assoc |
▪
The following keys can be used to specify a given as an association:
"RegisterMachine"
▪
▪
The value for is a list of instructions of the following form:
"Program"
"CLR"[r] | clear register r | |
"CPY"[ r i r j | copy register r i r j | |
"DEC"[r] | decrement register r | |
"DECJ"[r,z] | decrement register r z | |
"INC"[r] | increment register r | |
"INCJ"[r,z] | increment register r z | |
"J"[z] | jump to instruction z | |
"JE"[ r i r j | jump to instruction z r i r j | |
"JNZ"[r,z] | jump to instruction z r | |
"JZ"[r,z] | jump to instruction z r | |
"JZDEC"[r, z true z false | jump to z true r r z false |
▪
The value for can have one of the following forms:
"Registers"
n | integer representing the number of available registers | |
{ n 1 n 2 | list of integers representing the contents of each register |
▪
If , the number of available registers is computed from and is taken to be the minimum number of registers necessary to execute the program.
"Program"
▪
The following table shows the possible values for , whether its instruction-execution is sequential, and a list of allowed register machine instructions:
"Model"
"AbacusMachine" | {"INCJ","JZDEC"} | ||
"ElgotRobinson" | {"INC","CPY","JE"} | ||
"MinskyMachine" | {"INCJ","JZDEC"} | ||
"NKS" | {"INC","DECJ"} | ||
"ProgramMachine" | {"INC","DEC","JZ"} | ||
"Set1" | {"INC","DEC","JZ"} | ||
"Set2" | {"CLR","INC","JE"} | ||
"Set3" | {"INC","CPY","JE"} | ||
"ShepherdsonSturgisMachine" | {"INC","DEC","CLR","CPY","JNZ","J"} | ||
"SuccesorMachine" | {"CLR","INC","JE"} |
▪
A model is non-sequential if the program counter is not incremented by default after executing each instruction.
▪
When specifying , the instruction-execution is sequential and all of the register machine instructions are allowed.
▪
For the virtual machine, the following properties can be queried:
"RegisterMachine"
obj["Definition"] | ||
obj["Evolution"] | a list representing the evolution of the machine | |
obj["EvolutionDataset"] | ||
obj["MachineState"] | ||
obj["Model"] | ||
obj["Program"] | the list of instructions to be executed | |
obj["ProgramMnemonic"] | a formatted view of obj["Program"] | |
obj["RegisterCount"] | the number of registers available | |
obj["RegisterEvolution"] | a list representing the evolution of the register's contents | |
obj["RegisterEvolutionPlot"] | a plot of obj["RegisterEvolution"] | |
obj["StepCount"] | the number of steps run |
▪
For the virtual machine, the following commands can be executed using :
"RegisterMachine"
reset the state of the machine to its initial configuration | ||
run n |
Examples | MoreExamples⊳ |
Create an instance of a defined by a simple program:
"RegisterMachine"
In[1]:=
rm=
["RegisterMachine","Program"{"INC"[1],"DECJ"[1,1]}]
 | VirtualMachine |
Out[1]=
VirtualMachineObject
 |  |
|
Obtain information about the object:
In[2]:=
Information[rm]
Out[2]=
VirtualMachineObject | |||||||||
|
Get an association representing the machine state:
In[3]:=
rm["MachineState"]
Out[3]=
Registers{0},ProgramCounter1,StatusWaiting,TerminationReasonStepsConstrained
Run 10 steps of the register machine:
In[4]:=
 | VirtualMachineExecute |
Out[4]=
VirtualMachineObject
| |
|
Extract the evolution history of the executed steps:
In[5]:=
rm["EvolutionDataset"]
Out[5]=
| |||||||||||||||||||||||||||||||||||||||||||||||||
""