symbolic_dynamics.sofic.dot

symbolic_dynamics.sofic.dot(G, q, w)

Computes the transition action of w in G on q.

In a deterministic labeled graph G, any path starting at a given vertex is uniquely determinied by its sequence of labels. If there is a path labeled w starting at q in G, then the transition action of w in G on q is defined to be the vertex that path ends at. Otherwise, if there is no such path, then the transtion action of w in G on q is defined to be None.

Parameters

Gdeterministic labeled graph

qvertex in G

wword

Examples

>>> G = nx.MultiDiGraph()
>>> nx.add_path(G, range(5), label="a")
>>> sd.dot(G, 0, "aaaa")
4
>>> sd.dot(G, 1, "aaaa") is None
True