fsm demo Sun Aug 19 16:43:37 2001
input
output
Sun Aug 19 16:43:37 2001