; fsm from lecture ; | T T ;now L R S | next L R F M E ;------------+----------------- lost 0 1 - | lost 0 1 1 0 0 lost 0 0 - | lost2 1 0 1 0 0 lost 1 - - | lost2 1 0 1 0 0 lost2 0 0 - | lost3 1 0 1 0 0 lost2 1 - - | lost2 1 0 1 0 0 lost2 0 1 - | lost2 1 0 1 0 0 lost3 0 0 - | lost3 1 0 1 0 0 lost3 1 - - | lost4 0 1 1 0 0 lost3 0 1 - | lost4 0 1 1 0 0 lost4 0 0 - | lost 0 1 1 0 0 lost4 1 - - | lost4 0 1 1 0 0 lost4 0 1 - | lost4 0 1 1 0 0