You are using a browser not supported by the Wolfram Cloud
Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.
I understand and wish to continue anyway »
WOLFRAM NOTEBOOK
Signature:
symbol: L->R
symbol: L->R
Rules with only one LHS
? Enough to start with LHS
2: 22
2: 22
In[]:=
StringTuples["AB",2]
Out[]=
{AA,AB,BA,BB}
In[]:=
allrules=Rule@@@Tuples[{StringTuples["AB",2],StringTuples["AB",2]}]
Out[]=
{AAAA,AAAB,AABA,AABB,ABAA,ABAB,ABBA,ABBB,BAAA,BAAB,BABA,BABB,BBAA,BBAB,BBBA,BBBB}
In[]:=
InteractiveListSelectorSW[ParallelMapMonitored[MultiwaySystem[{#},{First[#]},4,"StatesGraphStructure"]#&,allrules]]
Out[]=
In[]:=
InteractiveListSelectorSW[ParallelMapMonitored[MultiwaySystem[{#},StringTuples["AB",2],4,"StatesGraphStructure"]#&,allrules]]
Out[]=
In[]:=
InteractiveListSelectorSW[ParallelMapMonitored[MultiwaySystem[{#},StringTuples["AB",4],4,"StatesGraphStructure"]#&,allrules]]
Out[]=
In[]:=
InteractiveListSelectorSW[ParallelMapMonitored[MultiwaySystem[{#},StringTuples["AB",4],7,"StatesGraphStructure"]#&,allrules]]
Out[]=
Confluence is visible through diamonds....
In[]:=
InteractiveListSelectorSW[ParallelMapMonitored[MultiwaySystem[{#},StringTuples["AB",7],7,"StatesGraphStructure"]#&,allrules]]
Out[]=
In[]:=
ParallelMapMonitored[MultiwaySystem[{#},StringTuples["AB",7],7,"StatesGraph"]&,{"AB""BA","AB""AA"}]
Out[]=
Close to a hypercube......
Effectively recursively generates n-d hypercube.
2: 23
2: 23