I understand that you want to encode a graph where nodes are states and edges are transitions, and where each edge is marked with a symbol. It is right?
, , .
- , : , , . , , : , , . , ; , ( - ), , ( - ). ?
-, , . , ; . ( ), , . .
, , -, : , , , , , , -.
- , , , - , , , . , . - , -, - , , - .