FSG_BEGIN <test.rightRecursion>
NUM_STATES 13
START_STATE 0
FINAL_STATE 1
TRANSITION 0 2 0.500041 
TRANSITION 0 9 0.500041 
TRANSITION 2 4 1.000000 
TRANSITION 3 1 1.000000 
TRANSITION 4 6 0.500041 start
TRANSITION 4 7 0.500041 stop
TRANSITION 5 8 1.000000 and
TRANSITION 6 5 1.000000 
TRANSITION 7 5 1.000000 
TRANSITION 8 0 1.000000 
TRANSITION 9 11 0.500041 start
TRANSITION 9 12 0.500041 stop
TRANSITION 10 1 1.000000 
TRANSITION 11 10 1.000000 
TRANSITION 12 10 1.000000 
FSG_END