| |
| | Finite State Machine Specification (Site not responding. Last check: ) |
 | | Following operations are supported: store to file, load from file, add state, remove state, add transition, remove transition, add event to input alphabet, remove event from input alphabet, add event to output alphabet, remove event from output alphabet, set the current state. |
 | | State represents a state in the Mealy machine. |
 | | The abstract state space of consists of the source state and the destination state and the input and output letters. |
| www.cs.virginia.edu /~drl7x/se2/statespec.html (337 words) |
|