Description: 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).
To Search:
File list (Check if you may need any files):
arcsort.c
rm_cp_test.c
rmfinalepsilon.c
Download