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.