fsm demo Wed Aug 22 11:06:25 2001
input
output
Wed Aug 22 11:06:25 2001
