node can be start of graph or automaton