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

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