symbolic_dynamics.sofic.is_subshift¶
-
symbolic_dynamics.sofic.
is_subshift
(G, H)[source]¶ Returns True iff the shift presented by G is contained in the shift presented by H.
Requires G to be irreducible and H to be essential for the return value to be correct.
- Parameters
- Girreducible deterministic labeled graph
- Hessential deterministic labeled graph
See also
Examples
>>> G = nx.MultiDiGraph() >>> G.add_edge(1, 1, label="0") >>> H = nx.MultiDiGraph() >>> H.add_edge(1, 1, label="1") >>> H.add_edge(1, 2, label="0") >>> H.add_edge(2, 1, label="0") >>> sd.is_subshift(G, H) True