next up
Next: Why State Machines? Up: No Title

CMU 15-671Models of Software SystemsFall 1995
State Machine Basics
Garlan & Wing Handout 4 18 September 1995

In four lectures this term we will be studying general concepts associated with state machines. This handout covers some of the basic terms. We see in Section 6 how we can use set notation and predicate logic to describe infinite state machines in a succinct and precise manner.

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