function B = get_ddblanks(DFSA) % returns the list of %the "obviously" unreachable states--the ones to which nothing points s=sum(DFSA.delta,2); B=find(~s); return