Example

• Three states

• Transitions as shown

• Atomic properties a, b and c

• Given a start state, you can consider legal paths through the state machine

Previous slide

Next slide

Back to first slide

View graphic version