Abstract - Synchronous finite state machines are very important for digital ... assignment for the specification of the state machine in question. We describe the .... offers a mechanism to get a computer to provide a solution of problem without ...