MultiwaySystem[{"AB""BAB","BA""A"},"ABA",5,"CausalGraph"]
In[]:=
Out[]=
TransitiveReductionGraph[%]
In[]:=
Out[]=
SimpleGraph[%%]
In[]:=
Out[]=

Transitive redundancy is computational reducibility of the spacetime

MultiwaySystem[{"AB""BAB","BA""A"},"ABA",5,"EvolutionCausalGraph"]
In[]:=
Out[]=
TransitiveClosureGraph[%]
In[]:=
Out[]=
Every edge represents a complete history for the system.....