In[]:=
MultiwaySystem[{"AA""AB","BA""AB"},{"ABABAB"},4,"StatesGraph","IncludeStepNumber"True]
Out[]=
In[]:=
MultiwaySystem[{"AA""AB","BA""AB"},{"ABABAB"},4,"WeakCriticalPairs"]
Out[]=
MultiwaySystem[StateEvolutionFunction(getStringStateEvolutionFunction[#1,{AAAB,BAAB}]&),StateEquivalenceFunctiongetStringStateEquivalenceFunction,StateEventFunction(getStringStateEventFunction[#1,{AAAB,BAAB}]&),EventDecompositionFunctiongetStringEventDecompositionFunction,EventApplicationFunctiongetStringEventApplicationFunction,SystemTypeStringSubstitutionSystem,EventSelectionFunctionIdentity,{ABABAB},4,WeakCriticalPairs]