Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Wolfram`Multicomputation`
MultiwaySystem  | |
|
| | ||||
Details and Options
Examples
(4)
Basic Examples
(4)
Construct a multiway system with string substitution type:
In[1]:=
multi=
[{"AB""BA","A""BA"},{"AA"}]
 | MultiwaySystem |
Out[1]=
MultiwaySystem
 |
|
List its properties:
In[2]:=
multi["Properties"]
Out[2]=
{AllStatesBranchialGraph,BranchialGraph,CausalBranchialGraph,CausalEvolutionGraph,CausalGraph,CausalStatesGraph,EvolutionCausalGraph,EvolutionEventsGraph,EvolutionGraph,Graph,Multi,Properties,StatesGraph,TokenEventGraph,Type}
Make a graph showing evolution between states:
In[3]:=
multi["StatesGraph",3]
Out[3]=
Make a causal graph showing dependencies between string rewriting events:
In[4]:=
multi["CausalGraph",3,"IncludeInitialEvent"True]
Out[4]=
Ignore all event information except its input and output:
In[5]:=
multi["CausalGraph",3,"IncludeInitialEvent"True,"CanonicalEventFunction"Full]
Out[5]=
Make a branchial graph at a specific computation step:
In[6]:=
multi["BranchialGraph",3]
Out[6]=
Make a branchial graph for all computation steps:
In[7]:=
multi["AllStatesBranchialGraph",3]
Out[7]=
Make bipartite graphs with both states and events:
In[8]:=
multi["EvolutionEventsGraph",2]
Out[8]=
In[9]:=
multi["EvolutionCausalGraph",2,"IncludeInitialEvent"False]
Out[9]=
Make a causal graph with branchial edges showing branch-like separation:
In[10]:=
multi["CausalBranchialGraph",2,"IncludeInitialEvent"True]
Out[10]=
Make a multiway system for an arbitrary expression rewriting:
Make a multiway system for expression rewriting with sub-values:
Make a canonical hypergraph rewriting multiway system: