fsm demo Thu Aug 23 13:55:43 2001

• input
  
• output