next up previous
Next: Infinite Executions and Infinite Up: State Machines: Definitions of Previous: Concepts

Revisiting My Car

Consider the Car machine.

Finally, using the event-based definition of trace, we have


Using the state-based definition, we have


In both cases the empty sequence is a member of the behavior.

Norman Papernick
Mon Mar 18 13:45:16 EST 1996