fsm demo Fri Aug 24 13:32:21 2001
input
output
Fri Aug 24 13:32:21 2001
