| FSG_BEGIN <test.nestedRightRecursion> | |
| NUM_STATES 6 | |
| START_STATE 0 | |
| FINAL_STATE 1 | |
| TRANSITION 0 5 0.500041 something | |
| TRANSITION 0 2 0.500041 | |
| TRANSITION 2 4 0.500041 another | |
| TRANSITION 2 0 0.500041 | |
| TRANSITION 3 1 1.000000 | |
| TRANSITION 4 3 1.000000 | |
| TRANSITION 5 1 1.000000 | |
| FSG_END | |