Introduction - If you have any usage issues, please Google them yourself
Determine the coaccesibility of states.Find potential list of removable final states. These are final states that have no outgoing transitions or final states that have a non-coaccessible future. Complexity O(S).