fsm demo Thu Aug 23 13:53:04 2001
input
output
Thu Aug 23 13:53:04 2001