Definition

A state is said to be accessible from state if:

Notation:

Interpretation

Starting from state , it is possible to eventually enter state .

Non-Accessibility

If is not accessible from , then: