Table of ContentsPPT Slide State Machines Why State Machines? State Machines Are Used Some Notes Informally ... What is a State? A (Very) Simple State Machine Another Simple Example A More Interesting Example A Small Variation Formal Definition Transitions Car Example (M1) Executions Traces Behavior Infinite State Machines Informally Using Sets and Logic to Decribe State Machines Interfaces and Environments Abstraction Scalability Unexpected Actions |
Author: David Garlan
Email: shawnh@cs.cmu.edu Home Page: http://www.cs.cmu.edu/afs/cs.cmu.edu/academic/class/15671-f97/www/index.html |