A =
[
0 0 0 0 0
1 0 0 0 1
0 1 0 1 0
0 1 0 0 0
0 0 0 1 0
]
Compute the reachability matrix R by using washall's algorithm and also by using the formula R = A V A(2) V... V A(n)
This shows how to compute reachability using Washall's algorithm.