I have a transducer saved in the form of a DOT file. I can see a graphical representation of the graphs using gvedit, but what if I want to convert the DOT file to an execut
Another path, and a simple way of finding cycles in a dot file:
import pygraphviz as pgv
import networkx as nx
gv = pgv.AGraph('my.dot', strict=False, directed=True)
G = nx.DiGraph(gv)
cycles = nx.simple_cycles(G)
for cycle in cycles:
print(cycle)