reachability
Entry (i, j) is true when state j+1 can be reached from state i+1 in zero or more transitions. Every state reaches itself, so the diagonal is true.
Entry (i, j) is true when state j+1 can be reached from state i+1 in zero or more transitions. Every state reaches itself, so the diagonal is true.