use the transition graph

[karakchi]

Hello,

it is referred to vasim as one of two approaches to generate the transition graphs. what do you mean exactly by transition graph? I used the nfa file generated by vasim with ./nfa_engine but it did not work. Beside, vasim as no option to convert nfa to txt file (regex) ,vasim produces only nfa,dfa, mnrl, graph, and dot. I would appreciate if any more details regarding to this.

Thank you,