fsm demo Mon Aug 20 10:45:01 2001
input
output
Mon Aug 20 10:45:01 2001