Table 10.
Rule for developing initial reachability.
| If the (x, y) Entry in the SSIM Is SSIM | Entry in the initial Reachability matrix (x, y) (y, x) | |
|---|---|---|
| V | 1 | 0 |
| A | 0 | 1 |
| X | 1 | 1 |
| O | 0 | 0 |
Rule for developing initial reachability.
| If the (x, y) Entry in the SSIM Is SSIM | Entry in the initial Reachability matrix (x, y) (y, x) | |
|---|---|---|
| V | 1 | 0 |
| A | 0 | 1 |
| X | 1 | 1 |
| O | 0 | 0 |