Wolfram Language Paclet Repository

Community-contributed installable additions to the Wolfram Language

Primary Navigation

    • Cloud & Deployment
    • Core Language & Structure
    • Data Manipulation & Analysis
    • Engineering Data & Computation
    • External Interfaces & Connections
    • Financial Data & Computation
    • Geographic Data & Computation
    • Geometry
    • Graphs & Networks
    • Higher Mathematical Computation
    • Images
    • Knowledge Representation & Natural Language
    • Machine Learning
    • Notebook Documents & Presentation
    • Scientific and Medical Data & Computation
    • Social, Cultural & Linguistic Data
    • Strings & Text
    • Symbolic & Numeric Computation
    • System Operation & Setup
    • Time-Related Computation
    • User Interface Construction
    • Visualization & Graphics
    • Random Paclet
    • Alphabetical List
  • Using Paclets
    • Get Started
    • Download Definition Notebook
  • Learn More about Wolfram Language

VirtualMachine

Guides

  • Virtual Machine Package

Symbols

  • VirtualMachineAdd
  • VirtualMachineDefinition
  • VirtualMachineExecute
  • VirtualMachineList
  • VirtualMachine
  • VirtualMachineObject
  • VirtualMachineObjectQ
  • $VirtualMachines

Other

  • Intel4004
  • MOS6502
  • NFA
  • PDP1
  • PDP8
  • RegisterMachine
Wolfram`VirtualMachine`
VirtualMachineObject
​
VirtualMachineObject[...]
represents a virtual machine instance created by
VirtualMachine
.
​
Details and Options

Examples  
(4)
Basic Examples  
(1)
Create a "DFA" (deterministic finite automaton) with
VirtualMachine
:
In[1]:=
dfa=
VirtualMachine
["DFA",​​"TransitionFunction"{​​{
q
0
,0}
q
1
,{
q
0
,1}
q
1
,​​{
q
1
,0}
q
2
,{
q
1
,1}
q
1
,​​{
q
2
,0}
q
2
,{
q
2
,1}
q
1
​​},​​"InitialState"
q
0
,​​"AcceptingStates"{
q
2
}​​]
Out[1]=
VirtualMachineObject
Machine: DFA
StepCount: 0
Status: Waiting
Input: {}

Get a table representing the transition function:
In[2]:=
dfa["TransitionTable"]
Out[2]//TableForm=
0
1
⟶
q
0
q
1
q
1
q
1
q
2
q
1
*
q
2
q
2
q
1
Push a list of inputs into the DFA:
In[3]:=
VirtualMachineExecute
[dfa,"PushInput",{1,1,1,0}]
Out[3]=
VirtualMachineObject
Machine: DFA
StepCount: 0
Status: Waiting
Input: {1,1,1,0}

Run the DFA until it halts:
In[4]:=
VirtualMachineExecute
[dfa,"Run",Infinity]
Out[4]=
VirtualMachineObject
Machine: DFA
StepCount: 4
Status: Halted
(InputAccepted)
Input: {}

Scope  
(1)

Properties & Relations  
(2)

SeeAlso
VirtualMachine
 
▪
VirtualMachineExecute
 
▪
VirtualMachineObjectQ
RelatedGuides
▪
Virtual Machine Package
""

Powered by the Wolfram Cloud More about Wolfram Technology

© 2022 Wolfram Research, Inc. All rights reserved. Terms of Use Privacy Contact Us