symbolic_dynamics.sofic.
subset_presentation
Constructs the subset presentation of G.
The subset presentation of G is a deterministic labeled graph such that shift presented by G is equivalent to the shift presented by the subset presentation.