| Example |
|
|
|
|
|
|
|
|
|
|
| • | Three
states |
||||||||
| • | Transitions
as shown |
||||||||
| • | Atomic
properties a, b |
||||||||
| and c |
|||||||||
| • | Given
a start state (say, |
||||||||
| S0),
you can consider |
|||||||||
| legal
paths through the |
|||||||||
| state
machine |
|||||||||
