FSG_BEGIN <test.kleene>
NUM_STATES 14
START_STATE 0
FINAL_STATE 1
TRANSITION 0 2 1.000000 
TRANSITION 2 4 0.500041 
TRANSITION 2 5 0.500041 
TRANSITION 3 12 1.000000 don't
TRANSITION 4 3 1.000000 
TRANSITION 5 7 0.333356 oh
TRANSITION 5 10 0.333356 kindly
TRANSITION 5 11 0.333356 please
TRANSITION 6 2 1.000000 
TRANSITION 7 8 1.000000 mighty
TRANSITION 8 9 1.000000 computer
TRANSITION 9 6 1.000000 
TRANSITION 10 6 1.000000 
TRANSITION 11 6 1.000000 
TRANSITION 12 13 1.000000 crash
TRANSITION 13 1 1.000000 
FSG_END