https://www.imn.htwk-leipzig.de/~waldmann/talk/15/term/main.pdf
I R1 = {ba → acb, bc → abb},
I R2 = {ba → acb, bc → cbb},
I R3 = {ba → aab, bc → cbb}.
I R2 = {ba → acb, bc → cbb},
I R3 = {ba → aab, bc → cbb}.
In[]:=
ResourceFunction["MultiwaySystem"][{"ba""acb","bc""abb"},{"bbbba"},8,"StatesGraph"]
Out[]=
In[]:=
ResourceFunction["MultiwaySystem"][{"ba""acb","bc""abb"},{"bbbba"},8,"StatesGraphStructure"]
Out[]=
In[]:=
ResourceFunction["MultiwaySystem"][{"ba""acb","bc""cbb"},{"bbbba"},8,"StatesGraphStructure"]
Out[]=
In[]:=
ResourceFunction["MultiwaySystem"][{"ba""aab","bc""cbb"},{"bbbba"},10,"StatesGraphStructure"]
Out[]=
In[]:=
ResourceFunction["MultiwaySystem"][{"ba""aab","bc""cbb"},{"bccc"},10,"StatesGraphStructure"]
Out[]=
In[]:=
ResourceFunction["MultiwaySystem"][{"ba""aab","bc""cbb"},{"bccccccc"},10,"StatesGraphStructure"]
Out[]=