I have a transition system that I'm converting to an NFA. In the TS, I have a trace of {b} {a, b} {a, b, c}. How would I handle these sets in the NFA? In other words, what would be the path to follow these sets?

  • 2
    $\begingroup$ Could you please elaborate more about your problem? It's not very clear what you mean by e.g. "I have a trace of {b} {a, b} {a, b, c}" or what your aim is. If you want transitions from one state to another by a set of characters, you just add transitions for each individual character from that set. $\endgroup$ – siracusa Oct 20 '19 at 4:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.